1. (a) E vërtetë, meqenëse çdo gjuhë e rregullt është pa kontekst, çdo gjuhë pa kontekst është e zgjidhshme, dhe çdo gjuhë e zgjidhshme është e dallueshme nga Turing.
Pse janë të zgjidhshme gjuhët pa kontekst?
Një problem i pazgjidhshëm nuk ka asnjë algoritëm për të përcaktuar përgjigjen për një hyrje të caktuar Paqartësia e gjuhëve pa kontekst: Duke pasur parasysh një gjuhë pa kontekst, nuk ka asnjë makinë Turing që do të ndaloni gjithmonë në një kohë të caktuar dhe jepni përgjigje nëse gjuha është e paqartë apo jo.
A është i zgjidhshëm nëngrupi i një gjuhe pa kontekst?
2 Përgjigje. Σ është pa kontekst (në të vërtetë, është i rregullt) dhe ka shumë nëngrupe. Nëse L është një gjuhë pa kontekst me madhësi të pafundme, atëherë ka nëngrupe J të L që janë të zgjidhshme dhe disa që janë të pazgjidhshme. Për shembull, nëngrupi bosh është i zgjidhshëm.
A janë të zgjidhshme CFL-të?
CFL: Është i zgjidhshëm për problemin e zbrazëtirës, problemin e fundësisë dhe problemin e anëtarësimit.
Sa gjuhë janë pa kontekst?
(1) Ka një numër i pafundëm i numërueshëm gjuhësh pa kontekst. Kjo është e vërtetë sepse çdo përshkrim i një gjuhe pa kontekst është me gjatësi të kufizuar, kështu që ka një numër të pafund të përshkrimeve të tilla. (2) Ka një numër të panumërueshëm gjuhësh.
