Library/Turing machines/MTM MTM · Recursively enumerable aⁿbⁿcⁿ with 2 tapes @thethinkmachine·version 1·CC BY 4.0·added 28 Sept 2026 The textbook Multi-Tape Turing Machine example. Open in AutomataStudio More ▾ Open in the desktop app Download the .automaton file Source on GitHub copy_amatch_bmatch_cacc The machine as drawn — 4 states, 7 transitions.