ソフトウェアのスクリーンショット:
、シミュレートし可視化と有限状態オートマトンとチューリングマシンを変換するためのツール。
- はDFAとNFAのマシンを作成しシミュレートし、変換します。
- 作成し、TMをシミュレートします。
- TMのためのバッチテスト：！便利な機能がすぐにファイルの束をテストするために、
- 使いやすいGUIインターフェース（マルチドキュメント）
- このスマートリンク
- このマシンは、マウスを使用して描画することができます - / <いつでもリサイズさLI>
- 複数のマシンは、単一のドキュメントで作成することができます。
- 複数のドキュメントを同時に開くことができる
- この文書は保存され、ディスクから再ロードすることができます。 <マシンが動作している正確にどのように参照するにはLI>デバッグモード（各ステップは異なる色を持っている）
- このMacOS XのGUIに準拠します。
- FAとTMマシンはEPSファイル
- この統合されたアップデートマネージャにエクスポートすることができます。
- 嗜好：イプシロン遷移します。
- を定義するために使用する文字を指定することができた状態から直接起動する代わりに、非イプシロン遷移します。 を以下の時イプシロン遷移が考慮されなかったバグを修正
の何このリリースで新しいのです。
の要件の
のJava 1.4を搭載したMac OS X
コメントが見つかりません