Kolokvijum 1 5.2.2016.

Teorijski osnovi informatike Profesor: Nebojxa Mudrinski

Asistent: Samir Zahirovi

1. Dokazati da za jezike A, B i C nad proizvonom azbukom vai:

(A + B 2 ) (B + C) = A + A B + B C .

2. Nai regularni izraz nad azbukom = {a, b} koji predstava jezik koji sadri
sve reqi w koje poqiu i zavrxavaju se sa istim slovom i za koje vai |w|a
0(mod 3). Dokazati.

3. Odrediti monoid sledeeg poluautomata:

Kolokvijum 2 5.2.2016.
Teorijski osnovi informatike Profesor: Nebojxa Mudrinski
Asistent: Samir Zahirovi

1. Konstruisati automat koji prihvata jezik:

L = {w {a, b} | |w| 0(mod 2) |w|a 2(mod 3)}.

Dokazati.

2. Dokazati da jezik L = {w {a, b} | |w|a |w|b } nije regularan.

3. Minimizovati automat A zadat grafom: