DragonBook (第2版) の第3章まで読んだら、>>280 に書いた ε-遷移についての最初の疑問も氷解してしまったので、
一応伏線回収しておきます
「正規表現技術入門」では、ε-遷移を除去した後で部分集合構成法を行う、という流れで記述されていたので、
部分集合構成法を行うには前もって ε-遷移を除去しなければならない、と思い込んでいたのだけど、
その必要は全くなかったのでした
部分集合構成法の処理の中で一つ部分集合が得られたら、その集合の ε-閉包を取って
(その集合に そこから ε-遷移する状態を全て加えて)、それを DFA の 1 状態とすればよいだけなのでした
>>283 に書いた AI の回答が何となく歯切れが悪かった理由もこれで納得出来たわけで、
何でこんな簡単なことを思い付かなかったのか、我ながらアホでしたね
「正規表現技術入門」は章ごとに執筆者が違っていて、VM 型エンジンの章は鬼雲の作者が直々に書いていて説得力があるのですが、
DFA 型エンジンの章、とくにこの ε-遷移あたりの記述は今一つな感じです (エラそうに言ってますが)
--
ところで DragonBook 3.9 節の「正規表現から直接 DFA を導くやり方」も読みました
シンプソン構成法を経由せず、構文木から DFA を導くのはスゲーと思ったのですが
followpos() の張るダイアグラムは一種の NFA 的なものなので、それを DFA に変換する時には
やはり部分集合構成法と同じ手法を使うわけですね
とは言え ε-遷移が存在しないので扱う状態数もずっと少なくて済むはずなので、
これを使って On-the-Fly 法を実装して行きたいと思ってます
何にせよ、DragonBook を読めと言ってくれた >>285 さんには感謝しかないです
ありがとうございました
ニュース
- 【サッカーW杯】グループリーグ 白熱の3位突破争い本日決着! 残り3枠を6チームで争う大混戦! 韓国崖っぷち イランもギリギリ ★4 [阿弥陀ヶ峰★]
- 【サッカーW杯】グループリーグ 白熱の3位突破争い本日決着! 残り3枠を6チームで争う大混戦! 韓国崖っぷち イランもギリギリ ★3 [阿弥陀ヶ峰★]
- 【訃報】美輪明宏さん死去 91歳 老衰のため 歌手、俳優として長年活躍 [ニーニーφ★]
- 【訃報】美輪明宏さん死去 91歳 老衰のため 歌手、俳優として長年活躍 最期の言葉は「ありがとう」 [ぐれ★]
- 高市首相… 経歴詐称疑惑で米下院関係者が決定的証言「インターンだった」SNSで猛拡散 [少考さん★]
- 【速報中】W杯 グループL 第3節 クロアチア 2-1 ガーナ (後半38分) [鉄チーズ烏★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★227【メキシコ/カナダ/アメリカ】
- 【3位通過争い専用】 FIFAワールドカップ2026 GL3位通過争い実況スレ★5
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★227【メキシコ/カナダ/アメリカ】
- 【MLB】パドレス vs ドジャース ★4
- とらせん
- 〓たかせん〓
- 【速報】韓国敗退決定!!!コンゴ2−1ウズベクwwww
- 【訃報】美輪明宏さん [972432215]
- クリロナの🏡👊😅👊🇵🇹⚽
- 韓国さん決勝進出に王手キタ━━━━(゚∀゚)━━━━ッ!! [336593408]
- 【FIFAワールドカップ2026】K組コロンビア×ポルトガル(フジ,DAZN),コンゴ民主共和国×ウズベキスタン(DAZN) [226731781]
- そもそも大韓民国の「大」って何が大きいの?