1. (a) És cert, com que tots els llenguatges normals són lliures de context, tots els llenguatges sense context són decidibles i tots els llenguatges determinables són reconeixibles per Turing.
Per què es poden decidir els idiomes sense context?
Un problema indecidible no té cap algorisme per determinar la resposta per a una entrada determinada Ambigüitat dels llenguatges sense context: donat un llenguatge lliure de context, no hi ha cap màquina de Turing que aturar-se sempre en un temps finit i respondre si el llenguatge és ambigu o no.
El subconjunt d'un llenguatge sense context es pot decidir?
2 respostes. Σ està lliure de context (de fet, és normal) i té molts subconjunts. Si L és un llenguatge sense context de mida infinita, aleshores hi ha subconjunts J de L que són decidibles i alguns que són indecidibles. Per exemple, el subconjunt buit és decidible.
Els CFL són determinables?
CFL: és decidible per al problema del buit, el problema de la finitud i el problema de la pertinença.
Quants idiomes estan lliures de context?
(1) Hi ha un nombre infinitament comptable d'idiomes sense context. Això és cert perquè cada descripció d'un llenguatge sense context té una longitud finita, de manera que hi ha un nombre infinitament comptable d'aquestes descripcions. (2) Hi ha un nombre incomptable d'idiomes.
