文件名称：ISMU-Automata-Tools:硕士论文库，网址为https
文件大小：5.95MB
文件格式：ZIP
更新时间：2024-06-07 10:46:32
Java
IS MU自动机工具 布尔诺Masaryk大学信息学院自动机课程的ROPOT工具。 发电机 独立的Java应用程序。 用于生成各种形式语言练习的问题集。 将IS格式输出为.qdef文件。 转换器 使用此命令行Java应用程序将编辑器导入.qdef文件。 现在，您可以使用它们来制作机器人。 将.qdef文件的路径作为输入参数。 使用参数-？ 寻求更多帮助。 编辑 有限自动机和CYK算法ROPOT填充更舒适的工具。 必须事先通过Converter将其导入。 解析器 用于解决ROPOT的答案并提供反馈的服务。 也可以从获得前端部分。 语法分析器 语法的源文件，用于生成解析器，以使用程序进行语法检查。