ε閉包とNFAの拡張状態推移関数
各状態からεだけで遷移できる状態集合をε-closureという
ε動作をもつ非決定性有限オートマトンの状態推移関数は、次の2種類を用いて定式化される。
ε動作を許さない場合の推移関数$ \delta
ε動作を許す場合の推移関数$ \hat\delta
これらを用いた遷移の計算方法は以下のようにまとめられる
https://gyazo.com/7308ff50d984b3b64d0d788299c55608