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