Näiteks on programmeerimiskeeled ja CPU-käskude komplektid näited formaalsetest reeglite süsteemidest, mis kasutavad ja muudavad andmeid. Kui reegleid saab kasutada Turingi hüpoteetilise arvutiseadme simuleerimiseks, siis reeglid on "Turing valmis". Turing-kompleksi süsteemi saab matemaatiliselt tõestada, et oleks võimalik teostada mis tahes võimalikku arvutust või arvutiprogrammi.
Turingi täieliku süsteemi näide on lambda calculus, mille töötas välja Alonzo kirik, Alan Turingi professor.
Turingi süsteemide näited
Arvutiteadus, Lambda kalkulaator, programmeerimise tingimused