CMSimulator

CMSimulator應用程序可以幫助您更好地了解四種最知名的計數器 - 有限狀態自動機，下推自動機，線性有界自動機，圖靈機。您可以從文件創建新的或加載現有的解決方案。該應用程序還包含示例（針對每種類型的計算機）。

此外，該應用程序還可以幫助您更好地理解喬姆斯基層次結構中的四種形式語法 - 常規語法，無上下文語法，上下文敏感語法，無限制語法。您可以從文件創建新的或加載現有的解決方案。該應用程序還包含示例。

您可以創建符號，狀態，轉換規則列表，還可以選擇初始和最終狀態。然後，您可以逐步填充磁帶並模擬解決方案，或直接進入模擬結束。您還可以將任何磁帶元素標記為斷點，以在機器到達此斷點時暫停模擬。

還支持非確定性機器和解決方案。

您可以定義自己的語法，測試單詞是否屬於定義的語法，並使用4種不同的可視化可視化派生過程 - 派生表，派生樹，線性派生，固定派生。該應用程序還包含一個交互式功能，您可以在其中同時測試多個單詞。

該應用程序仍處於開發階段。如果您發現任何錯誤，請告訴我。