BFCオートマトン このソフトウェアを使用して決定論的有限オートマトンプログラムの解釈と編集。 ... 有限の セルラーオートマトンビューア セルラーオートマトン オートマトン オートマトン合成 ダウンロード