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)).