プログラム fsmlang.sf.net

有限状態マシンを指定する言語。 これらのマシンは、fsmlang によって生成されたコードを通じて、異なる言語で、またそれらの言語内の異なるモデルでも実装されます。 また、機械の表形式のデペクションは、属です