オートマトン

コンピュータシステムなどを表現するモデル。
状態と状態から状態への遷移という概念を主に用いてモデリングする。
正規表現と密接な関係を持つ。
http://d.hatena.ne.jp/keyword/%a5%aa%a1%bc%a5%c8%a5%de%a5%c8%a5%f3

この説明は間違っていると思う.少なくとも大きな誤解を与える.定義しろと言われると困るが,「モデリングする」と言われると「それはちょっと違うだろ!?」と言いたくなる.

正規表現と関係するというよりは,パーサがそうなのだな.パーサジェネレータBNFよりDFAを半自動生成するだけのものだったはず.そう言う意味では実はこれも「単純作業」の一つ.