Computational Systems
- Abstract Machine
- Admissible
- Algebraic Language
- Automata Theory
- Block Growth
- Busy Beaver
- Church-Turing Thesis
- Cohen-Kung Theorem
- Computer Algebra
- Concatenation
- Confluent
- Cyclic Tag System
- de Bruijn Sequence
- Dyck Language
- Generalized Mobile Automaton
- Inadmissible
- Lag System
- Langton's Ant
- Lindenmayer System
- Machine
- Mobile Automaton
- New Kind of Science
- Nondeterministic Turing Machine
- Paterson's Worms
- Principle of Computational Equivalence
- Register Machine
- Sequential Substitution System
- String Rewriting System
- Substitution System
- Tag System
- Turing Machine
- Turmite
- Universal Turing Machine
- Virtual Machine