Машина Тьюринга: различия между версиями
Содержимое удалено Содержимое добавлено
JenVan (обсуждение | вклад) м Откат правок 62.231.181.231 (обс.) к версии 195.39.210.219 |
Dmitru (обсуждение | вклад) м →Абстрактный автомат: е-ё |
||
Строка 78:
'''Абстра́ктный автома́т''' (в [[w:теория алгоритмов|теории алгоритмов]]) — [[w:математика|математическая]] [[w:абстракция|абстракция]], [[w:модель|модель]] [[w:дискретное устройство|дискретного устройства]], имеющего один вход, один выход и в каждый момент времени находящегося в одном [[w:состояние|состоянии]] из множества возможных. На вход этому устройству поступают [[w:символ|символ]]ы одного [[w:язык|язык]]а, на выходе оно выдаёт символы (в общем случае) другого языка.
Формально абстрактный автомат определяется как
<math>~A = (S, X , Y, \delta , \lambda)</math>
Строка 94:
{{Акмар}}
С каждым определением мы всё больше вторгаемся в область чистой математики. Язык становится строже, появляются формальные определения, состоящие из математических символов. Если двигаться дальше, мы придём к теории алгоритмов и теории вычислимости. Путешествовать по страницам Википедии можно долго, но лучше запастись водой и едой, на случай забредания в пустыни аксиом и определений, или хотя бы
{{Стиль}}
Надеюсь, после этого объяснения вам стало немного яснее, что же такое машина Тьюринга?
Давайте
Итак,
{{Рамка}}
| |||