This funcionality provides the user with the ability to 'nest' Turing Machines to any level desired. 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 .