这是最新版的（2015_01_24）,学习自动机的很好的软件，NFA,DFA,文法设计等，很好很强大！

JFLAP is software for experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems. In addition to constructing and testing examples for these, JFLAP allows one to experiment with construction proofs from one form to another, such as converting an NFA to a DFA to a minimal state DFA to a regular expression or regular grammar. Click here for more information on what one can do with JFLAP.

JFLAP Tutorial.rarJFLAP Tutorial.rarJFLAP Tutorial.rarJFLAP Tutorial.rar

JFLAP官方版，用于计算机理论与自动及理论的java软件，与Peter Linz 的formal languages and automata 配套

自动机绘图工具以及使用手册，JFLAP，需要Java运行环境

从某国外大学的网站上找到的，很好的一个画自动机的工具，而且还具有一些额外的功能，比如说NFA转DFA