Теория автоматов. Лупал А.М. - 18 стр.

18

Ðåçóëüòàò: q

2

α R, ò. å. âûïîëíÿåòñÿ êîìàíäà q

2

α → q

2

α R. Ñëåäîâà-

òåëüíî, ãîëîâêà ïåðåäâèíóëàñü â 3-þ ÿ÷åéêó (âïðàâî), â îáîçðåâàåìîé

4-é ÿ÷åéêå ëåíòû îñòàëñÿ ñèìâîë α, à ìàøèíà Òüþðèíãà îñòàëàñü â

ñîñòîÿíèè q

3

Îáîçðåâàåòñÿ 1 èç 3-é ÿ÷åéêè. Ðåçóëüòàò: q

1

β E , ò. å. âûïîëíÿåòñÿ

êîìàíäà q

2

1 → q

1

β E , ñäâèãà íåò. Ïîëó÷èì

β → q

β L , è

îñóùåñòâëÿåòñÿ ñäâèã âëåâî. Ïîëó÷èì

αβ

4

α L, ò. å. âûïîëíÿåòñÿ êîìàíäà q

4

α L, îñóùå-

ñòâëÿåòñÿ ñäâèã ãîëîâêè âëåâî. Ïîëó÷èì

αβ

↑