Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Informatica Teorica -Compito A 1 aprile 2005
 

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

  

Source: Ausiello, Giorgio - Dipartimento di Informatica e Sistemistica, UniversitÓ di Roma "La Sapienza"

 

Collections: Computer Technologies and Information Sciences