1679
правок
Изменения
→Определение машины
Формально машина Тьюринга определяется как кортеж из восьми элементов <tex>\langle \Sigma, \Pi, B, Q, Y, N, S, \delta \rangle</tex>, где
* <tex>\Sigma</tex> — алфавит, из букв которого могут состоять входные слова
* <tex>\Pi \supseteq supset \Sigma</tex> — символы, которые могут быть записаны на ленту в процессе работы машины
* <tex>B \in \Pi \setminus \Sigma</tex> — пробельный символ (от слова ''blank'')
* <tex>Q</tex> — множество состояний управляющего автомата
