>>22
前スレで上げられていた「オートマトンと言語理論」読めばすぐわかるよ。
それと、アルゴリズムのスレがどっかにあったはず。