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