ВУЗ:
Составители:
Рубрика:
90
Однако все эквивалентные состояния автомата не исчерпываются 1-
эквивалентностью, поэтому для их выявления требуется более сложная, чем
рассмотренная выше, процедура.
Оказывается, что в этом случае эффективнее всего начать с выявления
неэквивалентных состояний, после определения которых легко находятся
эквивалентные состояния, как дополнение к множеству неэквивалентных
состояний до полного множества внутренних состояний автомата, т.е.
Здесь приобретают важное значение следующие теоремы:
Теорема 1. Состояние s
i
, и s
j
, эквивалентные относительно всех
входных слов длины r-1, могут стать неэквивалентными относительно
Страницы
- « первая
- ‹ предыдущая
- …
- 88
- 89
- 90
- 91
- 92
- …
- следующая ›
- последняя »
