自动机研究

automata study