Na primjer, programski jezici i setovi instrukcija CPU-a su primjeri formalnih sustava pravila koji pristupaju i mijenjaju podatke. Ako se pravila mogu koristiti za simulaciju Turingovog hipotetičkog računalnog stroja, za pravila se kaže da su "Turingovi kompletni". Turingov-kompletan sustav može se matematički dokazati da može izvršiti bilo koji mogući računski ili računalni program.
Primjer Turingovog kompletnog sustava je lambda račun koji je razvio Alonzo Church, profesor Alana Turinga.
Primjeri Turingovih kompletnih sustava
Računalna znanost, Lambda račun, programski uvjeti