CMSimulator

カウンターマシンと形式文法のためのシミュレータ。

有限状態オートマトン、プッシュダウンオートマトン、線形有界オートマトン、チューリングマシン - CMSimulatorアプリはあなたがよりよく知られているカウンターマシンの4つを理解するのに役立ちます。ファイルから新しいソリューションを作成したり、既存のソリューションを読み込むことができます。アプリケーションには、例が含まれています（マシンの種類ごとに）。

さらに、このアプリケーションでは、チョムスキーの階層構造から4種類の形式文法、つまり正規文法、文脈自由文法、文脈依存文法、無制限文法をよりよく理解することができます。ファイルから新しいソリューションを作成したり、既存のソリューションを読み込むことができます。アプリケーションには例も含まれています。

あなたは、シンボル、状態、遷移規則のリストを作成することができて、そしてまた、初期と最終状態を選ぶことができます。その後、テープを埋めてソリューションを段階的にシミュレートするか、直接シミュレーションの最後に進みます。マシンがこのブレークポイントに達したときにシミュレーションを一時停止するために、任意のテープ要素をブレークポイントとしてマークすることもできます。

非決定性のマシンやソリューションもサポートされています。

独自の文法を定義し、定義された文法に属しているかどうかをテストし、派生テーブル、派生ツリー、線形派生、固定派生の4種類の視覚化で派生プロセスを視覚化できます。アプリケーションには、同時に複数の単語をテストできるインタラクティブな機能も含まれています。

アプリケーションはまだ開発中です。バグが見つかったら教えてください。