- Computability theory
A system is Turing complete if it can be used to simulate any Turing Machine.
Examples of Turing complete systems
- Some cellular automata
- Most Programming languages
- Lambda calculus
- Combinatory logic
- Others like Post-Turing Machines, formal grammar, formal language, etc.
- Some games (Minecraft, baba is you) and computational languages (markup languages like HTML+CSS)