1. (a) Dit is waar, aangesien elke gewone taal konteksvry is, elke konteksvrye taal is beslisbaar, en elke beslisbare taal is Turing-herkenbaar.
Waarom is konteksvrye tale bepaalbaar?
'n Onbeslisbare probleem het geen algoritme om die antwoord vir 'n gegewe invoer te bepaal nie Dubbelsinnigheid van konteksvrye tale: Gegewe 'n konteksvrye taal, is daar geen Turing-masjien wat stop altyd in beperkte tyd en gee antwoord of taal dubbelsinnig is of nie.
Is die subset van 'n konteksvrye taal bepaalbaar?
2 Antwoorde. Σ is konteksvry (inderdaad, dit is gereeld) en dit het baie subsets. As L 'n konteksvrye taal van oneindige grootte is, dan is daar subversamelings J van L wat bepaalbaar is, en sommige wat onbeslisbaar is. Byvoorbeeld, die leë subset is beslisbaar.
Is CFL's beslisbaar?
CFL: Dit is beslisbaar vir leegheidsprobleem, eindigheidsprobleem en lidmaatskapprobleem.
Hoeveel tale is konteksvry?
(1) Daar is 'n ontelbare oneindige aantal konteksvrye tale. Dit is waar omdat elke beskrywing van 'n konteksvrye taal van eindige lengte is, dus is daar 'n telkens oneindige aantal sulke beskrywings. (2) Daar is 'n ontelbare aantal tale.
