Discussione:Linguaggio ricorsivamente enumerabile
Vai alla navigazione
Vai alla ricerca
l'introduzione dell'articolo secondo me non e' adeguata, non spiega cos'e' un linguaggio ricorsivamente enumerabile ma una mezza definizione di insieme ricorsivamente enumerabile. Proporrei di cambiarla in una piu' attinente alla definizione.
---
Nella tabella che riporta la gerarchia di Chomsky è presente questa didascalia:
"Ciascuna categoria di linguaggio o grammatica è un sottoinsieme proprio della categoria immediatamente sottostante."
Forse bisogna correggere in sovrastante? Per es., i linguaggi di tipo 3 sono un sottoinsieme proprio di quelli di tipo 2, che stanno alla riga sopra.