Up to 52 Variables . The contents of a tape square can be stored into a variable for later use. Up to 52 such variables can be active in a Turing Machine at any given time. Variables are defined as either global or local. Global variables allow information to pass through to submachines.
Local variables are specific to each sub-machine.
High Level Notation . L, R, Lx, Rx, and x are the basic building blocks. Sub-Machines can be inserted into any machine making it simple to build up a toolbox of useful machines. Transition Grouping . Transitions which have the same 'from' and 'to' states are grouped together to reduce screen clutter.