Automata

一覧へ6章

遷移関係

次状態集合を編集すると図と実行トレースも更新

実行トレース

分岐を到達可能状態の集合として追跡