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

3.13. Уменьшение числа состояний автомата последовательным объединением

Пусть М — автомат, о котором известно, что его состояния эквивалентны. Объединением состояний по правилам объединения эквивалентных состояний при минимизации, описанным в § 3.11, мы можем получить другой автомат . При этом состояния заменяются одним состоянием, скажем которое переходит в то же состояние, что и и вырабатывает такой же выходной символ, как и при приложении одного и того же входного символа. Это значит, что эквивалентно и, следовательно, . Далее, если известно, что в имеются два эквивалентных состояния, то, повторяя описанную

операцию объединения, можно получить . Эта процедура может повторяться до тех пор, пока не будет получен не имеющий эквивалентных состояний. Обозначая исходную форму автомата М через можно установить, что полученный с помощью описанной процедуры, всегда меньше и, следовательно, представляет собой сокращенную форму М.

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

В качестве примера приведены таблицы 3.16 — 3.19, в которых даны последовательные стадии сокращения автомата изображенного на рис. 3.1 и в таблице 3.1. Для удобства таблица 3.1 воспроизведена здесь еще раз как таблица 3.16. В этой таблице пары состояний являются явно эквивалентными; вычеркивая строки 5 и 6 и

Таблица 3.16. Автомат

Таблица 3.17. Автомат

заменяя каждое из обозначений «5» на «1» и каждое «6» на «2», получим автомат представленный таблицей 3.17.

Таблица 3.18. Автомат

Таблица 3.19. Автомат

В парасостояний [3,7] является явно эквивалентной; вычеркивая строку 7 и заменяя каждое обозначение «7» на «3» получаем автомат представленный таблицей 3.18.

Рис. 3.12. Автомат

В явно эквивалентной является пара {4,8}. Вычеркивая строку 8 и заменяя каждую цифру «8» на «4», получим автомат представленный таблицей 3.19. Поскольку

в нет явно эквивалентных состояний, сокращение путем объединения в том виде, в каком оно выполнялось выше, должно на этом закончиться. Оказывается, что полученный сокращенный автомат является в то же время минимальной формой . Граф переходов показан на рис. 3.12.

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

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