Például a programozási nyelvek és a CPU utasításkészletek példák a formális szabályrendszerekre, amelyek hozzáférnek és módosítják az adatokat. Ha a szabályok felhasználhatók a Turing hipotetikus számítógépének szimulálására, akkor a szabályok "Turing teljesnek" minősülnek. A Turing-komplett rendszer matematikailag bizonyítható, hogy képes legyen bármilyen számítási vagy számítógépes program végrehajtására.
Egy példa a Turing teljes rendszerre a lambda calculus, amelyet Alonzo templom fejlesztett ki, Alan Turing professzora.
Példák Turing komplett rendszerekre
Számítástechnika, Lambda kalkulus, Programozási feltételek