* Automata : a construct that possesses (具有) all the indispensable (不可或缺) features of a digital computer. It accepts input, produces output, may have some temporary storage, and can make decisions in ...
JFLAP (Java Formal Languages and Automata Package) : JFLAP is a software tool used for designing and simulating computational models such as finite automata, pushdown automata, Turing machines, and ...