Machine Variants

This is a simulator for 4 variants of automata:

1. Deterministic  Two-Way Acceptor
2. Deterministic and Nondeterministic One-Way Multi-tape Automaton Limited to One Write Symbol
3. Deterministic and Nondeterministic Two-Way Two-Queue Automaton with Unlimited Write Symbols
4.  Deterministic and Nondetermnistic One-Way One-Stack Automaton with Unlimited Write Symbols

Instructions:

• Add states and define them by editing their type and whether they are initial states (I) or final states (F).
• Add transitions under the states and fill in the necessary information (stimulus, next state).
• You can remove states and transitions by clicking the associated X buttons.
• Type your input into the dedicated Input bar.
• Click RUN to run the machine until the output is given.
• Click STEP to only perform the next transition step.
• Click RESET to reload the machine. This can help fix unintended behaviors when the machine and memory are changed in between STEPs.
• For nondeterministic machines, you can view various versions by changing the BRANCH number.
• For multi-tapemachines,  you can add or remove tapes using the + and - buttons on the left side of the screen.