Download of nina Ver. 0.3.0.1 (nina-0.3.0.1-bin.tar.gz: 1,108,892 bytes) will begin shortly. If not so, click nina-0.3.0.1-bin.tar.gz.
テキストアートにより状態遷移図を記述することで有限オートマトン(またはプッシュダウンオートマトン・チューリングマシンなど)を記述する言語です