|
Summary: Informatica Teorica - Compito A
1 aprile 2005
Cognome:. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Nome: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Matricola: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
(Si prega di compilare e riconsegnare assieme all'elaborato)
1. Si consideri l'operazione I sulle stringhe
definita come segue:
I( ) =
I(ax) = I(x)a con a e x
Dato un linguaggio L
definiamo
I(L) = {y|x L tale che I(x) = y}.
Dimostrare che se L `e regolare anche I(L) `e regolare.
Dato il linguaggio L definito dall'espressione regolare (a + b)b(a + b)
co-
struire l'automa deterministico che riconosce L e l'automa deterministico
che riconosce I(L).
2. Enunciare il pumping lemma per i linguaggi context free. Dimostrare che
il linguaggio {xx|x
|
