テキストアートにより状態遷移図を記述することで有限オートマトン(またはプッシュダウンオートマトン・チューリングマシンなど)を記述する言語です
See http://nina.morilib.net
http://nina.morilib.net/index.ja.htmlを参照願います