1. (a) Vero, poiché ogni lingua normale è priva di contesto, ogni lingua priva di contesto è decidibile e ogni lingua decidibile è riconoscibile da Turing.
Perché i linguaggi privi di contesto sono decidibili?
Un indecidibile problema non ha un algoritmo per determinare la risposta per un dato input Ambiguità dei linguaggi privi di contesto: dato un linguaggio privo di contesto, non esiste una macchina di Turing che fermati sempre entro un tempo limitato e rispondi se il linguaggio è ambiguo o meno.
Il sottoinsieme di un linguaggio privo di contesto è decidibile?
2 Risposte. Σ è privo di contesto (anzi, è regolare) e ha molti sottoinsiemi. Se L è un linguaggio senza contesto di dimensioni infinite, allora ci sono sottoinsiemi J di L che sono decidibili e alcuni che sono indecidibili. Ad esempio, il sottoinsieme vuoto è decidibile.
Le CFL sono decidibili?
CFL: È decidibile per problema di vuoto, problema di finitezza e problema di appartenenza.
Quante lingue sono prive di contesto?
(1) Ci sono un numero infinitamente numerabile di linguaggi privi di contesto. Questo è vero perché ogni descrizione di un linguaggio privo di contesto è di lunghezza finita, quindi esiste un numero infinitamente numerabile di tali descrizioni. (2) Esiste un numero incalcolabile di lingue.