| | |
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-
|
