Automata

一覧へ6章

モデル

有限状態制御部 + スタック

実行トレース

入力とスタックの変化