IB102 - úkol 4
Odevzdání: 18.10. 2010
Vypracoval(a): UCO: Skupina:
1. [2 body] Necht' L = [w E [a, b}* | #a(w) je sudý     #a(w) < Rozhodnete, zda
je jazyk L reguiarní a sve tvrzení dokazte.
(K důkazu regularity jazyka stačí napsat příslušnou gramatiku nebo automat.)
IB102 - úkol 4 Odevzdání: 18.10. 2010
Vypracoval(a): UCO: Skupina:
2. [2 body] Mejme gramatiku G = ({S,X,Y}, {a,b,c},P,S), kde
P = {      S — XY,
Y — aYa | bYb | c,
Xab - baX,
Xc — e }
Popise jazyk generovaný gramatikou G a urCete, zda je tento jazyk regularní. Sve tvrzení dokažte.