有限オートマトン入門

有限オートマトン入門 POD版

八重洲ブックセンターで買った。有限オートマトンだけに絞っているので、他の本よりも詳しい。
ところで、ruby-devで昔あった話。GNU regexのあるバグに対して、NFAがその原因ということにされそうになったことがある。「NFAとDFAが受理する言語のクラスは同じ」というのは、どの本にも書いてあることなのに。