nina Ver. 0.4.3 (nina-0.4.3-bin.tar.gz: 1,491,850 バイト)のダウンロードが開始されます。開始されない場合,nina-0.4.3-bin.tar.gzをクリックしてください。
テキストアートにより状態遷移図を記述することで有限オートマトン(またはプッシュダウンオートマトン・チューリングマシンなど)を記述する言語です