"teinteise" - 1 õppematerjal

SML kordamisküsimustele vastused.

algkonfiguratsiooni X korral kehtib võrdus M(X)=M2(M1(X)) 6 Teoreem 1. Kui M1 ja M2 on samas tähestikus töötavad Turingi masinad, siis saab nende masinate tabelite järgi alati koostada kompositsioonmasina tabeli. Tõestus. Olgu masinal M1 aktiivsed seisundid q1,q2,...,qk ning masinal M2 seisundid r1,r2,...rl. Kirjutame masinate M1 ja M2 tabelid teinteise järele, andes esimese masina peatumiskohtades juktimise teise masina esimesele seisundile. Selleks asendame igal pool seisundi q0 seisundiga r1, esimese masina tabeli igasse tühja lahtrisse saqb kirjutame aga sar1C. Niisugune teisendatud tabel ongi kompos.masina tabel, sest kui esimese masina töö on valmis, siis suundub täitmisjärg alati teise masina avaseisundisse. Def. 4 Olgu Turingi masinal M0 kaks passiivset seisundit 01 ja 02 . Masinat M nim masinate M1