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 29 marzo 2004
 

Summary: Informatica Teorica - Compito A
29 marzo 2004
Cognome:. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Nome: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Matricola: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
(Si prega di compilare e riconsegnare assieme all'elaborato)
1. Dare una grammatica per il linguaggio: (wwR
)+
con w {a, b}+
. Di-
mostrare che il linguaggio (ww)+
non `e di tipo 2.
2. Mostrare che una MT pu`o simulare una RAM. Mostrare quale sia il costo
della simulazione se assumiamo che la RAM operi a costi logaritmici.
3. Definire ed illustrare con almeno due esempi il concetto di riduzione poli-
nomiale di un problema di decisione ad un altro e spiegare quali siano le
sue implicazioni.
4. Scrivere una funzione Lisp che, ricevute in ingresso due liste rappresentanti
insiemi, restituisca la lista rappresentante l'unione dei due insiemi. Esem-
pio: (UNIONE '(A B D) '(C A)) deve restituire (A B C D) (non neces-

  

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

 

Collections: Computer Technologies and Information Sciences