Zadatak za seminarski

Seminarski rad se brani na zavrnom ispitu. Obrana seminarskog rada ukljuuje jedan zadatak slian
zadatku iz ovog seminarskog, te krai usmeni razgovor na kojem se provjerava da li je student samostalno
uradio seminarski rad. Studenti koji samostalno urade seminarski rad sigurno e znati odgovoriti na
postavljena pitanja. Iz obrane seminarskog rada se moe osvojiti maksimalno 10 bodova.
Koritene skraenice
TM

Turingova maina

UTM

Univerzalna Turingova maina

Za seminarski rad je potrebno:

1.

Prouiti materijal Seminarski_UTM koji je postavljen na c2.

2.

Skinuti i upoznati se sa simulatorom Univerzalne Turingove maine. Simulator je postavljen na c2. Budui
da je simulator DOS aplikacija, za njegovo pokretanje u razliitim operativnim sistemima moete koristiti
neki DOS emulator (npr. DOSBox kojeg moete skinuti s adrese http://www.dosbox.com/). Za
upoznavanje sa simulatorom koristite link http://www.rdrop.com/~half/General/UTM/index.html.

3.

Konstruirati (nacrtati dijagram stanja) TM M koja slui za izraunavanje funkcije:

f(n) = 8n+1, n0,
pri emu je broj n na traci zapisan u binarnom brojnom sistemu.
Naprimjer, ako je na traci bio broj 5 binarno zapisan kao
101,
nakon zaustavljanja rada TM na traci se treba nalaziti broj 41 binarno zapisan kao:
101001.
Simboli ispod kojih se nalazi crtica oznaavaju poziciju glave za itanje i pisanje. Dakle, na poetku je
glava pozicionirana na prvom simbolu ulaznog niza, dok nakon zaustavljanja TM glava treba biti
pozicionirana na predzadnjem simbolu rezultirajueg niza.
(Napomena: Najlaki nain da neki binarni broj pomnoite sa 8 jeste da na kraj tog broja dopiete tri nule.)
Na temelju konstruirane TM M treba kodirati mainu i simulirati je koristei simulator UTM. Nain
kodiranja je opisan u materijalu Seminarski_UTM. U tom materijalu se treba fokusirati na primjere, koji
ilustriraju nain kodiranja proizvoljne TM na traci UTM.

4.

Koristei preporueni simulator UTM treba simulirati rad konstruirane TM M uz pretpostavku da je ulazni
podatak broj 5 binarno zapisan kao 101.
5. Analizirati nain simulacije i pokuati razumjeti na visokom nivou (bez ulaenja u implementacijske detalje
koji su dati u akcijskoj tabeli u materijalu Seminarski_UTM) na koji nain UTM simulira proizvoljnu TM.
U toku simulacije obratite posebnu manju na marker m koji se nalazi iznad simbola. Naime, taj marker
tijekom simulacije slui za oznaavanje trenutnog stanja TM M, kao i pozicije glave za itanje TM M.