Software related to theoretical computer science.
Sites 2
- Turing & Post Machines (C++ Simulators) C++ programs that simulate Deterministic and Nondeterministic Multitape Turing and Post Machines.
- Virtual Turing Machine A web based simulator of Turing machine.