无限自动机

infinite automata  detail>>