Finite Automaton Editor
File
Save Machine
Save as Jpeg
Load File
Input
Test
Highlight Nondeterminism
Highlight λ-Transitions
View
Layout
Circle
GEM
Spiral
Tree (Degree)
Tree (Hierarchy)
Two Circle
Random
Convert
Convert to DFA
Minimize DFA
Convert to RLG
Convert To RE
Finish
Finalize