実数を表す文字列を受理するオートマトン(訂正)
3年くらい前、実数を表す文字列を受理するオートマトンを実装してみた。
最近、簡単な正規表現をDFAに変換するコードを書いてみてるけど、その中で、過去書いた日記に誤りを見つけたので、訂正しておく。
DFAの状態遷移の間違い
二点目は以下の日記。
yagiey.hatenablog.com
状態との遷移先が間違っていた。これに伴い状態が増えた。
できたDFAの状態遷移表は以下。
状態 | X | Y | Z | . |
---|---|---|---|---|
以下の表に従って、状態集合を新しい記号で置き換える。できるだけ元記事に合わせるために、増えたをとした。
変換前 | 変換後 |
---|---|
んで、最終的な表はこちら。
状態 | X | Y | Z | . |
---|---|---|---|---|
訂正前のオートマトンではどういう入力の時に間違うのか具体的に調べてみようかな。