304
правки
Изменения
→Проверка того, является ли слово палиндромом: добавил таблицу переходов
** если последний символ совпадает с запомненным, стереть его, перейти в начало ленты и повторить с первого шага
** в случае несовпадения перейти в отвергающее состояние
Формально: <tex>\Sigma = \{0, 1\}</tex>, <tex>\Pi = \{0, 1, B\}</tex>, <tex>Q = \{S, F_0, F_1, B_0, B_1, R \}</tex>. Таблица функции <tex>\delta</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 F_0, B, \rightarrow \rangle</tex>
| <tex>\langle F_1, B, \rightarrow \rangle</tex>
| <tex>\langle Y, B, \downarrow \rangle</tex>
|-
| <tex>F_0</tex>
| <tex>\langle F_0, 0, \rightarrow \rangle</tex>
| <tex>\langle F_0, 1, \rightarrow \rangle</tex>
| <tex>\langle B_0, B, \leftarrow \rangle</tex>
|-
| <tex>F_1</tex>
| <tex>\langle F_1, 0, \rightarrow \rangle</tex>
| <tex>\langle F_1, 1, \rightarrow \rangle</tex>
| <tex>\langle B_1, B, \leftarrow \rangle</tex>
|-
| <tex>B_0</tex>
| <tex>\langle R, B, \leftarrow \rangle</tex>
| <tex>\langle N, 1, \downarrow \rangle</tex>
| <tex>\langle Y, B, \downarrow \rangle</tex>
|-
| <tex>B_1</tex>
| <tex>\langle N, 0, \downarrow \rangle</tex>
| <tex>\langle R, B, \leftarrow \rangle</tex>
| <tex>\langle Y, B, \downarrow \rangle</tex>
|-
| <tex>R</tex>
| <tex>\langle R, 0, \leftarrow \rangle</tex>
| <tex>\langle R, 1, \leftarrow \rangle</tex>
| <tex>\langle S, B, \rightarrow \rangle</tex>
|}
