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 13

1. Napravite program za univerzalnu registarsku ma²inu koja poznaje instrukcije CLR,

INC, TR i JNE koja u registar R2 smje²ta rezultat izra£unavanja izraza 1+2+
3 + . . . + n, n
vrijednost pohranjena u registru R1 (ne koriste¢i pri tome
pri £emu je
n(n+1)
eksplicitnu formulu prema kojoj taj rezultat iznosi ). Nema nikakvih ograni£enja
2
na sadrºaj ostalih registara po zavr²etku programa.

2. Napravite program za univerzalnu registarsku ma²inu koja poznaje instrukcije CLR,

INC, TR i JNE koja u registar R3 smje²ta manju od dvije vrijednosti pohranjene
u registrima R1 i R2 .

3. Napravite program za broja£ku ma²inu koji oduzima sadrºaj registra R2 od registra R1 i

smje²ta rezultat u registar R3 , bez ograni£enja kakav ¢e biti sadrºaj ostalih registara po
zavr²etku programa. Zatim ponovo rije²ite isti problem uz ograni£enje da po zavr²etku
rada sadrºaj registara R1 i R2 treba da ostane nepromijenjen.

4. Napravite program za broja£ku ma²inu koji mnoºi sadrºaje registara R1 i R2 , i smje²ta

rezultat u registar R3 . Nema nikakvih ograni£enja kakav ¢e biti sadrºaj ostalih registara
po zavr²etku programa.

5. Pokaºite da su sljede¢e funkcije primitivno rekurzivne:

Pn
a) f (n) = i=0 i2
(
1, ako je m=n
b) f (m, n) =
0, u suprotnom
√
c) f (n) = b nc

6. Sastavite Markovljev algoritam koji rade sljede¢e:

a) Bri²e prvi znak stringa zadanog kao ulaz i zapisuje ga na kraju stringa, pri £emu
je poznato da se string sastoji samo od znakova  a,  b i  c;

b) Sabira dva broja u unarnoj notaciji, pri £emu ulazni string sadrºi dva unarna
broja razdvojena znakom  + (npr.  |||| + ||), a kao rezultat se dobija unarna
reprezentacija njihovog zbira ( |||||| u navedenom primjeru);
 c) Oduzima dva broja u unarnoj notaciji, vode¢i ra£una da rezultat moºe biti i
negativan broj ²to se preprezentira znakom "-" ispred rezultata u unarnoj notaciji
(npr. |||| − || daje ||, a || − |||| daje −||).

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