ε閉包 状態qからε入力でのみ行ける状態の集合 ε-NFA遷移関数の拡張 ε入力でいけるところはすべて同等の状態みたいな NFAとε-NFAの等価変換 なんか必死で証明してたけど、なんでそんなに苦労するのかすら俺には意味不明だった
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。