* встретив в состоянии <tex>R</tex> пробельный символ, головка перемещается на один символ вправо и переходит в состояние <tex>Y</tex>, завершая работу.
Следующее определение формализует данный алгоритмФормально:* <tex>\Sigma = \{0, 1 \}</tex>, <tex>\Pi = \{0, 1, B\}</tex>* , <tex>Q = \{S, R, Y, N \}</tex>** . Таблица функции <tex>\delta(S, </tex> приведена ниже: {| border="0" cellspacing="5" |- |width="30"| |width="100"| <tex>0</tex> |width="100"| <tex>1) </tex> |width= "100"| <tex>B</tex> |- | <tex>S</tex> | <tex>\langle SR, 01, \rightarrow downarrow \rangle</tex>** | <tex>\delta(langle S, 0) = \langle R, 1, \downarrow rightarrow \rangle</tex>** | <tex>\delta(S, B) = \langle R, 1B, \downarrow leftarrow \rangle</tex>** |- | <tex>\delta(R, 0) = </tex> | <tex>\langle R, 0, \leftarrow \rangle</tex>** | <tex>\delta(R, 1) = \langle R, 1, \leftarrow \rangle</tex>** | <tex>\delta(R, B) = \langle Y, B, \rightarrow \rangle</tex> |}
=== Проверка того, является ли слово палиндромом ===
