1. (a) Muaj tseeb tiag, txij li txhua yam lus ib txwm muaj tsis muaj ntsiab lus, txhua yam lus tsis muaj ntsiab lus txiav txim siab, thiab txhua yam lus txiav txim siab yog Turing-recognizable.
Vim li cas cov lus tsis muaj ntsiab lus txiav txim siab?
Ib qho tsis tuaj yeem txiav txim siab teeb meem tsis muaj algorithm los txiav txim siab cov lus teb rau cov tswv yim muabTsis meej pem ntawm cov lus tsis muaj ntsiab lus: Muab cov ntsiab lus tsis muaj lus, tsis muaj Turing tshuab uas yuav ib txwm tso tseg tsis tu ncua sijhawm thiab muab lus teb seb hom lus tsis meej lossis tsis meej.
Puas yog subset ntawm cov ntsiab lus tsis muaj lus txiav txim siab?
2 Teb. Σ yog cov ntsiab lus-dawb (qhov tseeb, nws tsis tu ncua) thiab nws muaj ntau qhov subsets. Yog hais tias L yog cov ntsiab lus tsis pub dhau qhov loj me, ces muaj cov kab J ntawm L uas txiav txim siab, thiab qee qhov tsis tuaj yeem txiav txim siab. Piv txwv li, qhov seem seem yog txiav txim tau.
CFL puas tuaj yeem txiav txim tau?
CFL: Nws yog txiav txim siab rau qhov teeb meem emptiness, teeb meem finiteness, thiab teeb meem tswv cuab.
Puas muaj pes tsawg hom lus tsis muaj ntsiab lus?
(1) Muaj a suav suav suav tsis txheeb ntawm cov lus tsis muaj ntsiab lus. Qhov no muaj tseeb vim hais tias txhua qhov kev piav qhia ntawm cov lus tsis muaj ntsiab lus yog qhov ntev ntev, yog li muaj ntau tus lej suav tsis kawg ntawm cov lus piav qhia. (2) Muaj ntau hom lus uas suav tsis tau.
