Главная > Методы обработки данных > Введение в теорию конечных автоматов
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

3.3. k - эквивалентность

Для дальнейших обсуждений полезно ввести понятие «-эквивалентности».

Определение 3.2. Состояние автомата и состояние автомата называются -эквивалентными, если при приложении к входной последовательности длины k они вырабатывают одинаковые выходные последовательности. Если не являются - эквивалентными, то они называются -различимыми. Обозначения могут относиться к одному и тому же автомату.

Таким образом, являются - эквивалентными тогда и только тогда, когда, прикладывая входные последовательности длины k и наблюдая сигналы на внешних выходах, невозможно отличить автомат в состоянии от автомата в состоянии . Состояния являются -различимыми тогда и только тогда, когда имеется хотя бы одна входная последовательность длины k, которая при приложении к и вырабатывает разные выходные последовательности. Два -различимых состояния, согласно определению, данному в § 3.2, являются явно различимыми.

На основании определения 3.2 легко показать, что k-эквивалентные состояния обладают свойствами рефлексивности

пости, симметричности и транзитивности. Следовательно, -эквивалентность можно трактовать как обычное отношение эквивалентности, которое непосредственно применимо к множествам состояний любой мощности. С другой стороны, - различимость не обладает свойствами рефлексивности и транзитивности, и, следовательно, это понятие применимо только к парам состояний.

Лемма 3.4. (а) Если два состояния являются -эквивалентными, то они являются и -эквивалентными для каждого (б) Если два состояния являются -различимыми, то они являются и -различимыми для каждого

Доказательство, (а) Пусть являются -эквива-лентными, но различимыми при некоторой входной последовательности, скажем длины . Тогда должны быть различимы при входной последовательности , где представляет собой любую входную последовательность длины . Следовательно, являются -различимыми, что противоречит условию, (б) Пусть - являются - различимыми, но -эквивалентными для некоторого . Однако, согласно (а), если являются - эквивалентными, они должны быть - эквивалентными для каждого Полученное противоречие доказывает справедливость утверждения (б).

Состояние, в которое переходит состояние при подаче входной последовательности длины k называется преемником по отношению к этой последовательности. Нулевым преемником состояния является само состояние.

Теорема 3.2. Если состояния являются -эквивалентными и если их преемники по отношению к любой входной последовательности длины k являются эквивалентными, то .

Доказательство. Если являются -эквивалентными, то, согласно лемме 3.4, они вырабатывают одинаковые реакции при всех входных последовательностях длины k или менее. Если их преемники по отношению к любой входной последовательности длины k являются эквивалентными, то они вырабатывают одинаковые реакции при всех рходных последовательностях, которые следуют за первыми

символами. Следовательно, вырабатывают одинаковые выходы при входных последовательностях любой длины, откуда следует, что

Теорема 3.3. Если состояния и являются эквивалентными, то их преемники по отношению к любой входной последовательности длины k и для любого k являются эквивалентными.

Доказательство. Пусть и являются преемниками состояний соответственно по отношению к произвольной входной последовательности . Если , то имеется последовательность, скажем для которой вырабатывают различные реакции. Следовательно, реакции для должны быть разными; это противоречит допущению, что

Входную последовательность, подаваемую на можно сравнить с двумя путями, начинающимися состояниями на графе переходов для автоматов соответственно.

Рис. 3.2. Пути в автоматах и

Теорема 3.3 означает, что если два начальных состояния на этих путях эквивалентны, то каждые два соответствующих состояния на этих путях (т. е. состояния, в которые переходят автоматы из начальных состояний после прохождения одного и того же числа дуг) являются также эквивалентными. Это положение иллюстрируется рис. 3.2, где показанные пути являются путями, которые

проходят при приложении некоторой входной последовательности к Если являются эквивалентными, то преемники и должны быть эквивалентны для всех k.

Изложенные результаты могут быть использованы во многих случаях для установления эквивалентности состояний, когда эквивалентность других состояний уже установлена. Пусть, например, известно, что пары состояний автомата изображенного на рис. 3.1, являются эквивалентными. Тогда пара должна быть также парой эквивалентных состояний вследствие того, что 4 и 8 являются -эквивалентными, а их первыми преемниками являются пары Если известно, что состояния в паре эквивалентны, то состояния в парах должны быть также эквивалентными, поскольку они образуют пары соответствующих состояний на путях, начинающихся состояниями 4 и 8.

<< Предыдущий параграф Следующий параграф >>
Оглавление