1. (a) Totta, koska jokainen säännöllinen kieli on yhteydetön, jokainen yhteydetön kieli on pääteltävissä ja jokainen pääteltävissä oleva kieli on Turingin tunnistettavissa.
Miksi yhteydettömät kielet ovat pääteltävissä?
Ratkaisemattomalla ongelmalla ei ole algoritmia, joka määrittää vastauksen tietylle syötteelle Kontekstivapaiden kielten moniselitteisyys: Kontekstivapaalla kielellä ei ole olemassa Turingin konetta, joka Pysähdy aina rajallisen ajan sisällä ja anna vastaus, onko kieli moniselitteistä vai ei.
Onko yhteydettömän kielen osajoukko päätettävissä?
2 Vastauksia. Σ on kontekstiton (itse asiassa, se on säännöllistä) ja siinä on paljon osajoukkoja. Jos L on äärettömän kokoinen yhteydetön kieli, on L:n osajoukkoja J, jotka ovat päätettävissä, ja joitain, jotka ovat ratkaisemattomia. Esimerkiksi tyhjä osajoukko on päätettävissä.
Ovatko CFL:t pääteltävissä?
CFL: Se on pääteltävissä tyhjyysongelman, rajallisuusongelman ja jäsenyysongelman suhteen.
Kuinka monta kieltä on kontekstittomia?
(1) On olemassa lukemattoman ääretön määrä yhteydettömiä kieliä. Tämä pitää paikkansa, koska jokainen yhteydettömän kielen kuvaus on rajallinen, joten tällaisia kuvauksia on lukematon määrä. (2) Kieliä on lukematon määrä.
