REQUIREMENTS.md

样例框架说明

本框架为2023年秋季《形式语言与自动机》课程的样例框架。助教们将基于该框架对同学们的程序进行测试，因此请确保你的工程可以使用该框架编译。

软件依赖

本框架依赖于cmake进行编译，需安装3.13.0以上版本的cmake方可使用。

使用方法

本框架的使用方法为：

1. 将所有.h 以及.cpp文件置于/turing-project文件夹下，或者将该框架的CMakeLists.txt复制至你的工程中的相应位置；
2. 在含有CMakeLists.txt的文件夹下，使用指令cmake -B build；
3. 在含有CMakeLists.txt的文件夹下，使用指令cd ./build; make。

测试框架将使用上述方法对工程进行编译。执行完毕后，在工程根目录下应当出现/bin文件夹，其中含有可执行文件turing，测试框架将对该可执行文件进行测试。

重点：提交时，你的工程根目录下应当有一个CMakeLists.txt文件用于指导cmake进行编译，且通过这种方式能够在/bin文件夹下生成可执行文件turing。在满足以上条件的前提下，你可以按实际需求对CMakeLists.txt的内容自行修改。同时，在/programs文件夹下，应有你编写case1.tm和case2.tm作为测试样例。

编译测试

应提交的文档结构解压示例如下：

|— 211220XXX-张三 (502023XXXX-李四)
   |— programs
      |— case1.tm
      |— case2.tm
   |— README.md
   |— turing-project
      |— XX.cpp
      |— ......
   |— CMakeLists.txt

提交方法

将工程根目录直接打包为一个.zip文件，提交至http://114.212.82.28:5000/，可以查看你的工程是否能够在测试框架中成功编译，并成功读取相应的tm文件且输出结果。**该页面仅用于测试工程编译可行性，不是正式提交入口！正式提交方式以讲义为准！**