2005-10-25 第4回 オートマトン ε閉包 状態qからε入力でのみ行ける状態の集合 ε-NFA遷移関数の拡張 ε入力でいけるところはすべて同等の状態みたいな NFAとε-NFAの等価変換 なんか必死で証明してたけど、なんでそんなに苦労するのかすら俺には意味不明だった