Computational Systems
- Abstract Machine
- Admissible
- Algebraic Language
- Ant
- Automata Theory
- Automaton
- Block Growth
- Busy Beaver
- Busy Beaver Problem
- Church's Thesis
- Church-Turing Thesis
- Cohen-Kung Theorem
- Computational Algebra
- Computer Algebra
- Concatenation
- Confluence
- 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
- NKS
- Nondeterministic Turing Machine
- Oracle
- Paterson's Worms
- Principle of Computational Equivalence
- Register Machine
- Sequential Substitution System
- String Rewriting System
- Substitution System
- Symbolic Computation
- Tag System
- Turing Machine
- Turmite
- Universal Turing Machine
- Virtual Machine