一个学习自动机的很好的软件,包括NFA、DFA、正则表达式、下推自动机、上下文无关语法的设计、之间的转换等