オートマトンは正規表現の夢を見るか(見るし、夢というかそのものですらある)

何についての記事なの？ ある種の正規表現エンジンの実装には、オートマトンと呼ばれる計算(機)モデルが応用されています この記事は、オートマトンという計算(機)モデルが正規表現とどう関わっているのかを、実際にオートマトンを紙とペンで操作しながら理解しようという目的で書かれています 結果的に正規表現エンジンの実装にはほとんど踏み込めておらず、計算理論の話に終始しています。それでも面白いと思ってくださる方は、ぜひ読み進めていただけると幸いです 面白そうだなと思って頂けていない方も、ぜひ読んでみて下さい。そして計算科学の面白さがなんとなく伝われば嬉しいです