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

UptoLike

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

63
Ñ ïîìîùüþ òàáë. 5.3 ëåãêî óáåæäàåìñÿ â òîì, ÷òî âñå äîïóñòèìûå
âõîäíûå ñëîâà îïåðàòîðà àâòîìàòà A è èõ íà÷àëüíûå îòðåçêè ïðè-
íàäëåæàò îáëàñòè îïðåäåëåíèÿ îïåðàòîðà ìèíèìàëüíîãî àâòîìàòà. Ïî
ðèñ. 5.12 íàõîäèì, ÷òî âõîäíîå ñëîâî p = z
0
z
0
z
1
ααα ïðèíàäëåæèò îáëàñ-
òè îïðåäåëåíèÿ îïåðàòîðà ìèíèìàëüíîãî àâòîìàòà. Ñîãëàñíî òàáë. 5.3,
ýòî ñëîâî íå ïðèíàäëåæèò îáëàñòè îïðåäåëåíèÿ îïåðàòîðà èñõîäíîãî
àâòîìàòà A. Òàêèì îáðàçîì, ìèíèìàëüíûé àâòîìàò ýêâèâàëåíòíî ïðî-
äîëæàåò çàäàííûé.