Тюринг машинасы тарабынан таанылган тил, аныктамасы боюнча, ал кабыл алган саптардын жыйындысы. Машинага киргизүү берилгенде, ал кабыл алынат же кабыл алынбайт.
Тюринг машинасы кайсы тилди кабыл алат?
ТМ тилди кабыл алат, эгерде ал ар кандай киргизүү саптары үчүн акыркы абалга кирсе w Тил рекурсивдүү саналуучу (Type-0 грамматикасы тарабынан түзүлгөн), эгерде ал тарабынан кабыл алынса Тьюринг машинасы. ТМ тилди кабыл алып, тилде болбогон киргизүү үчүн четке кагуу абалына кирсе, аны чечет.
Тюринг тарабынан таанылган тил деген эмне?
Тюрингде таанылган тил эгерде бул тилде эмес, ошол тилдеги саптарды гана токтотуп, кабыл ала турган Машина бар болсо, анда ал TM же четке кагат, же такыр токтобойт.… Эгерде кандайдыр бир Тьюринг машинасы аны тааныса, тил Тьюринг таанылуучу деп аталат.
Тюринг машинасы тилди кабыл алабы?
туринг машинасы бардык тилдерди кабыл алат алар рекурсивдүү саноого болот. Рекурсивдүү бир эле эрежелер жыйындысын каалаган санда кайталоону билдирет, ал эми саналуу элементтердин тизмесин билдирет.
TMнин тили кандай?
ТМ тили ал кабыл алган бардык саптардын жыйындысы катары аныкталат. Ар бир тил Тьюринг машинасынын тили боло бербейт – бул теориялык информатика илиминин орчундуу натыйжаларынын бири.
