Доказательство окончено. Замечание. Если автоматÁ, рассматриваемый в доказательстве теоремы, имеет n внутренних состояний
Замечание. Если автоматÁ, рассматриваемый в доказательстве теоремы, имеет n внутренних состояний, то можно считать, что r - s 
n. Поэтому длина кратчайшего периода выходного сверхслова 
не превосходит значения n ´ | 
|.
ОТЛИЧИМОСТЬ СОСТОЯНИЙ АВТОМАТОВ
Дата добавления: 2015-09-18; просмотров: 469;