Piemēram, programmēšanas valodas un CPU instrukciju kopas ir formālo noteikumu sistēmu piemēri, kas piekļūst un maina datus. Ja noteikumus var izmantot, lai modelētu Turingas hipotētisko skaitļošanas mašīnu, tiek teikts, ka noteikumi ir "Turing pabeigti". Turing-pilnīga sistēma var pierādīt matemātiski, lai varētu veikt jebkuru iespējamo aprēķinu vai datorprogrammu.
Turingu pilnīgas sistēmas piemērs ir lambda calculus, ko izstrādāja Alonzo baznīca, Alan Turing profesors.
Turingu pilno sistēmu piemēri
Datorzinātne, Lambda calculus, Programmēšanas noteikumi