正在进行中
-
案例研究：从需求到规范 -
... -
[Varies]Automata Library的用户界面 -
我们有一个工具可以对不同类型的自动机（有限自动机、Büchi自动机、嵌套字自动机）执行多种操作（确定、交集、空检查…）。 为这个库开发一个用户界面。 详细说明此工具的输入和输出的文件格式，并实现此文件格式的解析器。 -
【理学士论文】公式简化 -
开发公式简化算法