Pagina 1 di 1

ALF Automi Linguaggi Formali Esercizi-Aiuto

MessaggioInviato: 28/06/2019, 21:45
da MicheleRD
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

Re: ALF Automi Linguaggi Formali Esercizi-Aiuto

MessaggioInviato: 13/01/2020, 16:40
da gugo82
Idee tue?