Odsjek za ra£unarstvo i informatiku Nastavnik: doc. dr. Dinko Osmankovi¢, MoE-dipl.

Kurs: Matemati£ka logika i teorija ing. el.

izra£unljivosti Asistent: Zlatan Tucakovi¢, MoE-dipl.ing.el.
Godina studija: I godina BoE studija
Semestar: II

Tutorijal 12

1. Moºe se pokazati da je skup X kona£an ako i samo ako je svaka sirjektivna funkcija iz
X na X ujedno i injektivna. Koriste¢i ovu osobinu, formirajte izraz predikatske logike
drugog reda koji je ta£an ako i samo ako je domen interpretacije kona£an skup.

2. Pokaºite da je problem utvrživanja da li dva zadana programa (u proizvoljnom pro-

gramskom jeziku) za iste ulazne podatke proizvode identi£ne rezultate (tzv. problem
ekvivalencije programa) algoritamski nerje²iv tako ²to ¢ete pokazati da bi iz njegove
rje²ivosti sljedila rje²ivost Halting problema.

3. Konstruirajte Turingovu ma²inu sa alfabetom Γ = {, |} za oduzimanje brojeva u

unarnoj notaciji. Na po£etku rada, traka sadrºi samo dvije sekvence uzastopnih sim-
bola  | razdvojene jednom prazninom, od kojih prva sadrºi m a druga n simbola  |,
pri £emu je m > n. Na po£etku, glava ma²ine se nalazi na krajnjem lijevim simbolu
 | prve sekvence. Po zavr²etku rada, na traci treba da se nalazi samo jedna sekvenca
koja sadrºi m − n uzastopnih simbola  |, pri £emu je glava ma²ine na krajnjem lijevom
simbolu.

4. Konstruirajte Turingovu ma²inu sa alfabetom Γ = {, 0, 1} koja vr²i pretvaranje broja

zapisanog u binarnoj notaciji u broj zapisan u unarnoj notaciji. Na po£etku rada, traka
sadrºi zapis binarnog broja koji treba pretvoriti, pri £emu se glava nalazi na krajnjoj
lijevoj cifri broja. Po zavr²etku rada, na traci treba da se nalazi sekvenca koja sadrºi
onoliko uzastopnih simbola 1 koliko iznosi vrijednost broja, pri £emu je glava ma²ine
na krajnjem lijevom simbolu sekvence.

5. Konstruirajte Turingovu ma²inu sa alfabetom Γ = {, a, b} koja izvr¢e proizvoljni

string koji se sastoji od simbola  a i  b. Na po£etku rada, glava ma²ine nalazi se na
prvom simbolu stringa. Po zavr²etku rada, na traci se treba nalaziti string identi£an
ulaznom stringu, samo izvrnut naopa£ke (tj. redoslijed znakova u izlaznom stringu
ta£no je obrnut od redoslijeda znakova u ulaznom stringu). Po zavr²etku rada, glava
ma²ine treba da se nalazi na prvom simbolu izlaznog stringa.

Autori zadataka su šeljko Juri¢, Dinko Osmankovi¢ i Zlatan Tucakovi¢