ダウンロードリスト

プロジェクト概要

テキストアートにより状態遷移図を記述することで有限オートマトン(またはプッシュダウンオートマトン・チューリングマシンなど)を記述する言語です

システム要件

システム要件が設定されていません