トップ 数学ソフトウェア のために Jean Bovet

、シミュレートし可視化と有限状態オートマトンとチューリングマシンを変換するためのツール。 はDFAとNFAのマシンを作成しシミュレートし、変換します。 作成し、TMをシミュレートします。 TMのためのバッチテスト：！便利な機能がすぐにファイルの束をテストするために、 使いやすいGUIインターフェース（マルチドキュメント） このスマートリンク このマシンは、マウスを使用して描画することができます - / 複数のマシンは、単一のドキュメントで作成することができます。...