Lugha inayotambuliwa na mashine ya Turing, kwa ufafanuzi, ni seti ya mifuatano inayokubali. Ingizo linapotolewa kwa mashine, linakubaliwa au la.
Lugha gani inakubaliwa na mashine ya Turing?
TM hukubali lugha ikiwa itaingia katika hali ya mwisho kwa mfuatano wowote wa ingizo w Lugha inaweza kuhesabiwa kwa kujirudia (inayotolewa na sarufi ya Aina-0) ikiwa itakubaliwa na mashine ya Turing. TM huamua lugha ikiwa itaikubali na kuingia katika hali ya kukataa kwa ingizo lolote lisilo katika lugha.
Lugha inayoweza kutambulika kwa Turing ni nini?
Lugha ambayo Inatambulika ikiwa kuna Mashine ambayo itasimama na kukubali tu nyuzi katika lugha hiyo na sio kwa lugha hiyo, basi huyo TM ama atakataa, au haina kusimama hata kidogo.… Lugha inaitwa Turing Inatambulika ikiwa Turing Machine itaitambua.
Je, Turing machine inakubali lugha?
Mashine ya kugeuza inakubali lugha zote ingawa zinaweza kuhesabiwa kwa kujirudia. Kujirudia maana yake ni kurudia seti ile ile ya sheria kwa idadi yoyote ya nyakati na kuhesabiwa kunamaanisha orodha ya vipengele.
Lugha ya TM ni nini?
Lugha ya TM inafafanuliwa kama seti ya mifuatano yote inayokubali. Si kila lugha ambayo ni lugha ya mashine ya Turing - hiyo ni mojawapo ya matokeo muhimu ya sayansi ya kompyuta ya kinadharia.
