なんらかの意味でオートマトンの圏があるとき、次の操作がある。 オートマトンの最小化、最適化、正規化などと呼ばれる操作 「観測可能な振る舞い」という概念があり、オートマトンにその観測可能な振る舞いを対応させる操作 指定された振る舞いを実際に行う…

色々あるなーー。 制御入り口 制御出口 初期状態 initial state 終状態 {final,termi{nal,nating}} state 始状態 start(ing) state end(ing) state 入り口ゲート entry gate 出口ゲート {exit,leave(ing)} gate 進入境界 incoming boundary 退出境界 outgoin…