Cov lus lees paub los ntawm lub tshuab Turing yog, los ntawm txhais, cov hlua nws lees txais. Thaum muab cov tswv yim rau lub tshuab, nws yog txais los yog tsis.
Turing tshuab txais hom lus twg?
A TM lees txais ib hom lus yog tias nws nkag mus rau hauv lub xeev kawg rau ib txoj hlua nkag w Ib hom lus yog recursively enumerable (tsim los ntawm Hom-0 cov qauv sau ntawv) yog tias nws tau txais los ntawm ib tug Turing tshuab. A TM txiav txim siab ib hom lus yog tias nws lees txais thiab nkag mus rau hauv lub xeev tsis lees paub rau ib qho kev tawm tswv yim uas tsis yog hom lus.
Turing yog hom lus dab tsi?
Ib yam lus uas yog Turing Recognizable yog muaj ib lub tshuab uas yuav nres thiab txais tsuas yog cov hlua nyob rau hauv cov lus ntawd thiab tsis nyob rau hauvhom lus ntawd, ces TM txawm tsis lees txais, los yog tsis nres kiag li.… Ib hom lus hu ua Turing Recognizable yog tias qee lub tshuab Turing pom nws.
Lub tshuab Turing puas txais cov lus?
Lub turing tshuab txais txhua yam lus txawm tiaslawv rov muaj dua. Recursive txhais tau hais tias rov ua dua tib txoj cai rau txhua lub sijhawm thiab suav suav txhais tau tias cov npe ntawm cov ntsiab lus.
TM yog lus dab tsi?
Cov lus ntawm TM txhais tau raws li txheej ntawm txhua txoj hlua nws lees txais. Tsis yog txhua hom lus yog hom lus ntawm lub tshuab Turing - uas yog ib qho ntawm cov txiaj ntsig ntawm kev tshawb fawb theoretical computer.
