Overview

JFLAP (Java Formal Languages and Automata Package) is a graphical Tool for the creation and simulation of four types of automata: finite automata, pushdown automata, and 1-tape and 2-tape Turing machines. Additional features include nondeterminism and transforming automata to other forms.

The mouse is used to draw the transition graph of the automaton on the canvas. The canvas is the large rectangular region which is initially blank. States are represented as circles, while transitions are labeled arcs connecting two states.

The states and labels of transitions may be moved about on the canvas once they have been created, to make the layout more eye-pleasing. See the Help on States and Transitions for more information.

Files can be loaded into JFLAP easily using the File button, and then selecting Open. Alternatively, to open directly a canvas with a Finite State Automaton when starting the program, type:

java JFLAP -keyword [file name with or without the extension]

(The keyword is "fa" for FSA's, "pda" for PDA's, "tm" for 1-tape Turing machines, and "ttm" for 2-tape Turing machines.)

If the file name is missing, or the file as given could not be opened, a blank canvas is opened.