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 2
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.
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 23170 di 44916
Iscritto il: 12/10/2007, 23:58
Località: Napoli


Torna a Informatica

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite