Multi-tape and multi-stack machines

Multi-tape and multi-stack (TM2) machines and their program library: bit primitives, cleanup, composition, stack embeddings and generic host machines that run component machines, and state relabelling.

• Multi-tape Turing machines
• Programming multi-stack machines
• Composition of multi-stack machines
• Simulating component machines in a host machine

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.