"korteezist" - 1 õppematerjal

Operaatori μx(n 1) abil (*)-arvutatavatest funktsioonidest saadud funktsioonide (*)-arvutatavus

, kus Turingi masin, mis töötab seisust alustamise korral järgmiselt: 1) kirjutab korteezi taha arvu , 2) kopeerib sinna järele arvud , 3) asendab esimesena kirjutatud nulli tühikuga ja viib pea tagumise nulli juurde. Turingi masin, mis arvutab funktsiooni väärtust, milleks on . Turingi masin, mis arvutab funktsiooni väärtusi. Turingi masin, mis arvutab valikufunktsiooni väärtust, tuues korteezist paremale välja paremalt lugedes -nda komponendi. Turingi masin, mis on masina -kordne kompositsioon iseendaga ehk see masin annab tulemuseks rea . Turingi masin, mis on masinate ja kompositsioon. on masin, mis lindil oleva viimase arvu nulli kohalt alustades lisab arvu lõppu kriipsu ja viib pea nulli kohale tagasi. Kompositsioonina tekitavad nad lindile funktsiooni ette arvu, mis on funktsiooni argumentide -l kohal.