ALF Automi Linguaggi Formali Esercizi-Aiuto

Messaggioda MicheleRD » 28/06/2019, 21:45

Salve, qualcuno potrebbe aiutarmi con questi esercizi? Sono veramente indeciso su quali siano le affermazioni corrette.

-Si consideri il seguente insieme'

A = {n ≤ 100 | dom(φn) infinito}

Individuare tra le seguenti le affermazioni vere.
Scegli una o più alternative:
a. A è ricorsivo
b. A è semanticamente chiuso
c. A è ricorsivamente enumerabile
d. il complemento di A è ricorsivamente enumerabile
e. A non è ricorsivamente enumerabile

-Si consideri il seguente insieme:

A = {n | ∃k : φk (n)↑}

Individuare tra le seguenti le affermazioni vere.
Scegli una o più alternative:
a. A è ricorsivo
b. A è semanticamente chiuso
c. A è ricorsivamente enumerabile
d. il complemento di A non è ricorsivamente enumerabile
e. A non è ricorsivamente enumerabile

-Si consideri il seguente insieme:

A = {n | ∀ x : φn (x)↓}

Individuare tra le seguenti le affermazioni vere.
Scegli una o più alternative:
a. A è ricorsivo
b. A è semanticamente chiuso
c. A è ricorsivamente enumerabile
d. il complemento di A è ricorsivamente enumerabile
e. A non è ricorsivamente enumerabile

-Si consideri il seguente insieme:

A = {n | ¬∃m > n.φn = φm}

Individuare tra le seguenti le affermazioni vere.
Scegli una o più alternative:
a. A è ricorsivo
b. A è semanticamente chiuso
c. A è ricorsivamente enumerabile
d. il complemento di A non è ricorsivamente enumerabile
e. A non è ricorsivamente enumerabile
Ultima modifica di MicheleRD il 29/06/2019, 13:56, modificato 1 volta in totale.
MicheleRD
Starting Member
Starting Member
 
Messaggio: 1 di 1
Iscritto il: 28/06/2019, 19:24

Re: ALF Automi Linguaggi Formali Esercizi-Aiuto

Messaggioda gugo82 » 13/01/2020, 16:40

Idee tue?


Ultimo bump di MicheleRD effettuato il 13/01/2020, 16:40.
Did you exchange
A walk on part in the war
For a lead role in a cage? (Roger Waters)
Avatar utente
gugo82
Moderatore globale
Moderatore globale
 
Messaggio: 23174 di 23387
Iscritto il: 12/10/2007, 23:58
Località: Napoli


Torna a Informatica

Chi c’è in linea

Visitano il forum: Nessuno e 10 ospiti