Ib hom lus hu ua Decidable lossis Recursive yog tias muaj Turing tshuab uas lees txais thiab nres ntawm txhua txoj hlua nkag w. Txhua yam lus txiav txim siab yog Turing-Acceptable. Qhov teeb meem kev txiav txim siab P tuaj yeem txiav txim siab yog tias hom lus L ntawm txhua qhov muaj rau P yog txiav txim tau.
Koj txhais li cas los ntawm Kev Txiav Txim Siab?
: muaj peev xwm txiav txim siab tshwj xeeb: muaj peev xwm txiav txim siab raws li hauv qab no lossis tsis ua raws los ntawm cov axioms ntawm qhov kev sib cav Yog qhov laj thawj tiav … ? Thiab puas yog qhov kev txiav txim siab, hauv kev nkag siab tias muaj ib txoj hauv kev uas qhia qhov tseeb lossis qhov tseeb ntawm txhua nqe lus? -
Dab tsi yog qhov txawv ntawm Kev Txiav Txim Siab thiab Tsis Txaus Siab?
A kev txiav txim siab teeb meem yog txiav txim siab yog tias muaj kev txiav txim siab algorithm rau nws. Txwv tsis pub nws yog undecidable. Txhawm rau qhia tias qhov teeb meem kev txiav txim siab yog txiav txim siab nws txaus los muab cov algorithm rau nws.
Koj suav qhov Kev Txiav Txim Li Cas?
Ib hom lus yog txiav txim tau yog tias thiab tsuas yog nws thiab nws cov lus qhia tau lees paub. Pov thawj. Yog hais tias ib hom lus yog txiav txim tau, ces nws complement yog decidable (los ntawm kaw nyob rau hauv complementation).
Dab tsi yog qhov teeb meem kev txiav txim siab?
(txhais lus) Txhais: Ib qho teeb meem kev txiav txim siab uas tuaj yeem daws tau los ntawm cov txheej txheem uas cuam tshuam rau txhua qhov kev nkag mus rau hauv tus lej kawg ntawm cov kauj ruam Cov lus cuam tshuam yog hu ua lus txiav txim siab. Kuj tseem hu ua qhov teeb meem txiav txim siab tag nrho, algorithmically solvable, recursively solvable.
