ALF Automi Linguaggi Formali Esercizi-Aiuto

Messaggioda MicheleRD » 28/06/2019, 22: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, 14:56, modificato 1 volta in totale.
MicheleRD
Starting Member
Starting Member
 
Messaggio: 1 di 1
Iscritto il: 28/06/2019, 20:24

Re: ALF Automi Linguaggi Formali Esercizi-Aiuto

Messaggioda gugo82 » 29/06/2019, 13:31

Idee tue?
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
Moderatore globale
Moderatore globale
 
Messaggio: 21813 di 22118
Iscritto il: 13/10/2007, 00:58
Località: Napoli


Torna a Informatica

Chi c’è in linea

Visitano il forum: Majestic-12 [Bot] e 6 ospiti