Pavyzdžiui, programavimo kalbos ir procesoriaus instrukcijų rinkiniai yra oficialių taisyklių sistemų, kurios pasiekia ir keičia duomenis, pavyzdžiai. Jei taisyklės gali būti panaudotos Turingo hipotetiniam skaičiavimo įrenginiui imituoti, sakoma, kad taisyklės yra „Turingas baigtas“. Turingo užbaigta sistema gali būti įrodyta matematiškai, kad galėtų atlikti bet kokią galimą skaičiavimo ar kompiuterio programą.
Turingo pilnos sistemos pavyzdys yra lambda calculus, kurį sukūrė Alonzo bažnyčia, Alano Turingo profesorius.
Turingo sistemų pavyzdžiai
Kompiuterių mokslas, Lambda skaičiavimas, programavimo terminai