すごいHaskell 本を読んだりしながら、オートマトンを書き換えている。http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.9852 "A Taxonomy of Finite Algorithms (1993) by Bruce Watson を参考に、オートマトンは５つ組ではなく、ε-遷移を通常…