CMSimulator

计数器和正式语法的模拟器。

CMSimulator应用程序可以帮助您更好地了解四种最知名的计数器 - 有限状态自动机，下推自动机，线性有界自动机，图灵机。您可以从文件创建新的或加载现有的解决方案。该应用程序还包含示例（针对每种类型的计算机）。

此外，该应用程序还可以帮助您更好地理解乔姆斯基层次结构中的四种形式语法 - 常规语法，无上下文语法，上下文敏感语法，无限制语法。您可以从文件创建新的或加载现有的解决方案。该应用程序还包含示例。

您可以创建符号，状态，转换规则列表，还可以选择初始和最终状态。然后，您可以逐步填充磁带并模拟解决方案，或直接进入模拟结束。您还可以将任何磁带元素标记为断点，以在机器到达此断点时暂停模拟。

还支持非确定性机器和解决方案。

您可以定义自己的语法，测试单词是否属于定义的语法，并使用4种不同的可视化可视化派生过程 - 派生表，派生树，线性派生，固定派生。该应用程序还包含一个交互式功能，您可以在其中同时测试多个单词。

该应用程序仍处于开发阶段。如果您发现任何错误，请告诉我。