Изменения

Перейти к: навигация, поиск

Машина Тьюринга

21 байт добавлено, 00:37, 7 декабря 2012
м
Многодорожечная машина Тьюринга: очень важная ремарка
=== Многодорожечная машина Тьюринга ===
Машиной Тьюринга с <tex>n</tex> дорожками называется вычислитель, аналогичный машине Тьюринга, лишь с тем отличием, что лента состоит из <tex>n</tex> дорожек, на каждой из которых записаны символы ленточного алфавита. Соответственно, функция перехода имеет тип <tex>\delta : Q \times \Pi^n \to Q \times \Pi^n \times \{\leftarrow, \rightarrow, \downarrow\}</tex>. Многодорожечная машина Тьюринга тривиально эквивалентна обычной с ленточным алфавитом <tex>\Pi' = \Pi^n</tex>.
=== Машина Тьюринга с полубесконечной лентой ===
304
правки

Навигация