– Ib qho teeb meem kev txiav txim siab P tau hais tias yog ib qho kev txiav txim siab (piv txwv li, muaj ib nrab algorithm) yog tias hom lus L ntawm tag nrho cov piv txwv rau P yog r.e. – (Qhov teeb meem sib npaug rau DFA) Muab ob DFAs, lawv puas lees txais tib hom lus? Pov Thawj: Rov qab los ntawm Cantor qhov kev sib cav los ntawm Thawj Zaj Lus Qhia.
Thaum muaj teeb meem hais tias yog ib nrab txiav txim siab?
Cov teeb meem Semi-Decidable yog cov rau uas lub tshuab Turing nres ntawm cov tswv yim tau txais los ntawm nws tab sis nws tuaj yeem nres lossis voj mus ib txhis ntawm cov tswv yim uas tsis lees paub los ntawm Turing Machine. Cov teeb meem no yog hu ua Turing Recognizable teeb meem.
Dab tsi yog qhov teeb meem txiav txim siab ib nrab?
Definition: Ib nws cov lus sib txuas yog ib hom lus uas suav nrog. Sib npaug, muaj ib qho algorithm uas tso tseg thiab tso tawm 1 rau txhua qhov piv txwv muaj cov lus teb "yog", tab sis piv txwv li muaj cov lus teb "tsis yog" raug tso cai tsis txhob nres lossis nres thiab tso tawm 0.
Puas h alting teeb meem ib nrab txiav txim?
Alan Turing tau ua pov thawj hauv xyoo 1936 tias cov txheej txheem dav dav uas khiav ntawm lub tshuab Turing uas daws qhov teeb meem nres rau txhua qhov kev pab cuam-cov tswv yim khub yuav tsum tsis muaj nyob. Li no, teeb meem nres tsis tuaj yeem txiav txim siab rau Turing tshuab.
Vim li cas qhov teeb meem nres ib nrab txiav txim siab?
Ib hom lus tau hais tias yog Semi-txiav txim siab yog tias muaj lub tshuab Turing uas nres yog ib lo lus yog hom lus(YES kis) thiab yuav tsis lees lossis nkag mus tsis kawg Lo lus yog lo lus tsis yog lus (NO case).
