Home

Automata Documentation

Welcome to the Automata documentation. Please read the README before reading the machine-specific instructions. Automata currently supports emulation of the following automata:

• Deterministic Finite Automata
• Non-deterministic Finite Automata
• Pushdown Automata
• Turing Machine

Click on the the above links to view the documentation for that particular machine.