Finite
Automata Environment Toolbar: Generate Graph
Representation
Convert to
DFA
Minimize
Generate Regular Language
Generate Complement
Generate
Kleene Star
Intersection
Concatenation
Union
Equals
Check
Equals
Sigma Check
Equals
Null Check
Subset
Check
Clear
current Pad
Manual
transition positioning
Automatic transition positioning
|
Turing
Machine Environment Toolbar: Move left
Move right
Move left
until head sees specified symbol
Move
right until head sees specified symbol
Write
specified symbol at current head position
Backup
Erase
Swap
Copy
Copy2
Copy3
Custom
Machine: Use a predefined machine (it is either in a
current TMPad, saved on a local disk, or can be
downloaded from server(s)).
|