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

UptoLike

Составители: 

19
54321
G
5
:
λαβ
11
Òàêò 7 t
7
Îáîçðåâàåòñÿ 4-ÿ ÿ÷åéêà â ñîñòîÿíèè q
5
. Òàì íàõîäèòñÿ ñèìâîë α,
ïîýòîìó ðåçóëüòàò: q
5
α E, ò. å. âûïîëíÿåòñÿ êîìàíäà q
5
α q
5
α E ,
ñîñòîÿíèå è ñèìâîë íå ìåíÿþòñÿ, ñäâèãà íåò. Ïîëó÷èì
5432 1
G
5
:
λαβ
11
Ñîñòîÿíèå q
5
ÿâëÿåòñÿ êîíå÷íûì ñîñòîÿíèåì ìàøèíû Òüþðèíãà èëè
ñòîïñîñòîÿíèåì, òàê êàê ïîñëå àíàëèçà ñèìâîëà α â ñîñòîÿíèè q
5
, íèêà-
êèõ èçìåíåíèé íà ëåíòå íå ïðîèñõîäèò è â íîâîå ñîñòîÿíèå ìàøèíà íå ïåðåéäåò.
Ýòîò âûâîä ïîäòâåðæäàåòñÿ àíàëèçîì ïîñëåäíåãî ñòîëáöà ôóíêöè-
îíàëüíîé ñõåìû, èç êîòîðîãî âèäíî, ÷òî ïðè âîçíèêíîâåíèè ñîñòîÿíèÿ q
5
ïðîèçîéäåò îñòàíîâêà ìàøèíû, òàê êàê ëþáîé îáîçðåâàåìûé ñèìâîë íå
çàìåíÿåòñÿ äðóãèì, à îñòàåòñÿ. Ñäâèãà òàêæå íå ïðîèñõîäèò, è ìàøèíà
ñíîâà è ñíîâà áóäåò îáîçðåâàòü îäèí è òîò æå ñèìâîë. Ýòî è åñòü ñòîï-
ñîñòîÿíèå, ñèãíàëèçèðóþùåå î ðåçóëüòàòèâíîì çàâåðøåíèè ïðîöåññà, î
åãî ñõîäèìîñòè.  ýòîì ñëó÷àå ãîâîðÿò, ÷òî ìàøèíà Òüþðèíãà ïðèìå-
íèìà ê èíôîðìàöèè, ïîäàííîé íà íåå äî çàïóñêà.
 ðåçóëüòàòå ðàáîòû ìàøèíû Òüþðèíãà áûëà ïîëó÷åíà ñëåäóþùàÿ
ñõåìà èçìåíåíèÿ èíôîðìàöèè íà ëåíòå.
#"!
J

J
α

J
α

J
!
αβ

J
"
αβ

J
#
αβ

J
$
αβ

J
%
αβ
