Například programovací jazyky a sady instrukcí CPU jsou příklady systémů formálních pravidel, které přistupují a upravují data. Jestliže pravidla mohou být používána simulovat Turingův hypotetický výpočetní stroj, pravidla jsou říkána být “Turing kompletní.” \ T Systém Turing-complete lze prokázat matematicky, aby byl schopen provádět jakýkoliv možný výpočet nebo počítačový program.
Příklad Turingova kompletního systému je lambda počet, který byl vyvinut Alonzo Church, profesor Alana Turinga.
Příklady Turingových kompletních systémů
Výpočetní technika, Lambda kalkulus, Programovací termíny