Student Računarskog fakulteta Aleksa Despić odbranio je diplomski rad na temu „Simulacija Tjuringove mašine“

Student Računarskog fakulteta Aleksa Despić odbranio je 25.02.2021. godine diplomski rad na temu „Simulacija Tjuringove mašine“ pred dvočlanom komisijom koju su činili mentor dr Dragan Urošević i dr Jelena Jovanović.

„Tjuringova mašina je matematički model po kom se definiše apstraktna mašina koja upravlja simbolima na beskonačnoj traci. Uprkos svojoj očiglednoj jednostavnosti, za svaki algoritam može se definisati Tjuringova mašina koja ga simulira. Iako nije prvi ovakav model, doprineo je svoje ime njihovoj kategorizaciji, te se za druge modele koji mogu da simuliraju isti skup algoritama kao i Tjuringova mašina kaže da su Tjuring kompletni. Tjuringova mašina se sastoji iz beskonačne trake podeljene u polja (ćelije), i glave.

Svaka ćelija može biti prazna, ili može da sadrži tačno jedan simbol. Glava se u svakom trenutku nalazi iznad tačno jednog polja, i i u tačno jednom stanju, te se za to
stanje može reći i da je stanje mašine kao celine. Svaka mašina, dakle, mora imati bar jedno moguće stanje. Bilo koje stanje mašine može, ali i ne mora biti prihvatajuće. Prihvatajuća stanja su stanja u kojima izvršavanje Tjuringove mašine prestaje, i algoritam je izvršen, odnosno uneta reč prepoznata. Tjuringova mašina ima pravila prema kojima menja stanje, piše po traci i pomera se“.
Fotografije sa odbrane nalaze se u galeriji .

6227-student-racunarskog-fakulteta-aleksa-despic-odbranio-je-diplomski-rad-na-temu-simulacija-tjuringove-masine