ε動作をもつ非決定性有限オートマトン
https://gyazo.com/55675b841f998b0a3d6c15bca1861e09
定式化
$ M = (Q, \Sigma, \Delta, \delta, q_0, F) と表せる。
状態の有限集合$ Q
入力記号の有限集合 $ \Sigma
状態推移関数 state tranfer function $ \delta: Q \times (\Sigma \cup \{\epsilon\}) \longrightarrow 2^Q
初期状態 $ q_0 \in Q
最終状態 $ F
ε閉包とNFAの拡張状態推移関数
状態推移を図示すると次のようになる
https://gyazo.com/eb0794b50d9ef090fb3ea649ee8bab8c