Die taal wat deur 'n Turing-masjien herken word, is per definisie die stel snare wat dit aanvaar. Wanneer 'n inset aan die masjien gegee word, word dit óf aanvaar óf nie.
Watter taal word deur Turing-masjien aanvaar?
A TM aanvaar 'n taal as dit in 'n finale toestand kom vir enige invoerstring w 'n Taal is rekursief optelbaar (gegenereer deur Tipe-0 grammatika) as dit aanvaar word deur 'n Turing-masjien. 'n TM besluit 'n taal as hy dit aanvaar en gaan in 'n verwerpende toestand vir enige invoer wat nie in die taal is nie.
Wat is 'n Turing-herkenbare taal?
'n Taal wat Turing Herkenbaar is as daar 'n Masjien is wat sal stop en net die snare in daardie taal sal aanvaar en nie in daardie taal nie, dan verwerp daardie TM óf, óf hou glad nie op nie.… 'n Taal word Turing Herkenbaar genoem as een of ander Turing-masjien dit herken.
Aanvaar Turing-masjien taal?
Die turing-masjien aanvaar al die taal, alhoewel hulle rekursief getel is. Rekursief beteken om dieselfde stel reëls vir enige aantal kere te herhaal en optelbaar beteken 'n lys elemente.
Wat is die taal van 'n TM?
Die taal van 'n TM word gedefinieer as die stel van al die snare wat dit aanvaar. Nie elke taal is die taal van 'n Turing-masjien nie - dit is een van die landmerkresultate van teoretiese rekenaarwetenskap.
