Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modelli e Complessit`a di Calcolo -Compito A 16 aprile 2008
 

Summary: Modelli e Complessit`a di Calcolo - Compito A
16 aprile 2008
Cognome: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Nome: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Matricola: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Corso di Laurea: Triennale Specialistica
(Si prega di compilare e riconsegnare assieme all'elaborato)
NOTA: ogni esercizio vale 8 punti; per ottenere la sufficienza `e necessario raggiungere almeno 9 punti sulle domande
1 e 2 e almeno 9 punti sulle domande 3 e 4. Chi desidera ritirarsi dalla prova lo pu`o fare dopo 2 ore.
1. Si consideri la funzione
f(x) =
x se x(x) `e definita
indefinita altrimenti
Motivare le risposte alle seguenti domande:
(a) la funzione f `e Turing-calcolabile?
(b) se A =imm(f)
i. A `e decidibile o indecidibile?
ii. A `e semidecidibile o non semidecidibile?
2. Dato un linguaggio L riconosciuto da una MTND in spazio n3
, quali delle seguenti affermazioni sono vere e
perch`e (motivare le risposte)?

  

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

 

Collections: Computer Technologies and Information Sciences