プログラム yaal.sf.net

Yaalは有限状態オートマトン、有限状態トランスデューサ、プッシュダウンオートマトンのようなオートマトンを実装した天秤座です。このオートマトンで最も重要な操作は、交差点、ユニオン、補体などです。