Matematička logika i teorija skupova

Kolokvij 3, 10.2.2017.

Zadatak 1. (4 boda) Nadite desno linearne gramatike koje generiraju jezike na

X = {0, 1}:

1. nizova koji sadrže barem dvije uzastopne jedinice,

2. nizova koji započinju s 0 te ne sadrže podniz 00.

Zadatak 2. (4 boda) Odredite da li riječ 11011 pripada nekom od sljedećih

regularnih izraza, odnosno jezika koje oni označavaju. Obrazložite.

1. 1∗ (1 + 0)+

2. (11)∗ (01)∗

3. 1+ (10 + 11)∗

4. 1∗ (0 + 1)1∗ .

Zadatak 3. (4 boda) Nadite desno linearnu gramatiku na abecedi X = {c, d}

koja generira jezik koji je označen regularnim izrazom (cd+ + d+ )(c∗ + d).

Zadatak 4. (4 boda) Nadite konačne automate koji prepoznaju riječi jezika

L1 = a+ (ba + ca) i L2 = bc∗ b, odnosno jezika označenima tim regularnim izrazima
(abeceda je X = {a, b, c}). Nadalje, nadite konačne automate koji prepoznaju
riječi jezika L1 · L2 i L1 ∪ L2 .

Zadatak 5. (2 boda) Nadite konačni automat koji prepoznaje riječi jezika L =

{a(bc)n a | n ≥ 1, n ∈ N}.

Zadatak 6. (3 boda) Zadana je desno linearna gramatika na X = {0, 1} sljedećim

produkcijama: S → 1S | 0T , T → 0R R → 1R | 0R | λ, . Nadite regularni izraz
koji označava jezik L(G), kao i konačni automat koji prepoznaje riječi tog jezika.

Rezultati: bit će dostavljeni mailom. Darko Brborović