Материал: Ковригин Теория автоматов Лабораторный практикум 2012

Идея следующего шага состоит в итерационном анализе всех групп на соответствие переходов из состояний, входящих в данную группу, т.е. для состояний группы должно выполняться условие:

(в случае анализа бинарных сигналов Σ = {0, 1}). Если для каких-то состояний s и t данное условие не выполняется, то данная группа разбивается на подгруппы, в которые помещаются только состояния с одинаковыми переходами, т.е. если переходы из состояний различаются, то они помещаются в разные подгруппы. Фактически, мы получаем новое разбиение ' . Данный шаг повторяется до тех пор, пока после анализа всех групп не будет получено разбиение,

совпадающее с предыдущим ( k k 1 , где k – текущая итерация шага 2). Более формально шаг 2 представлен в алгоритме П4.1

Алгоритм П4.1 Построение минимально разбиения групп состояний ДКА

выполнить {

для каждого G из Π выполнить{ для каждого a из Σ выполнить

{

разбить G на ΠG,a = {Ga1, Ga2,…, Gan}, где Ga1, Ga2,…,

Gan имеют отличные переходы по a относительно Π

}

по ΠG,a построить G G,a

' G

}

} до тех пор пока ' Π – искомое разбиение

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

181

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

Пример

Постановка задачи. Дан детерминированный конечный автомат (соответствующий РВ 101((0|1)(0|1)(0|1))+101), представленный на рис. 6.10). По состоянию автомата М вырабатываются сигналы GOOD = ‘1’ и BAD = ‘0’, по состоянию Ø – сигналы GOOD = ‘0’ и BAD = ‘1’, во всех остальных состояниях GOOD = ‘0’ и BAD = ‘0’.

Синтез минимального автомата. Шаг 1

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

Таблица П4.1 Начальное разбиение на группы состояний автомата, соответствующего

регулярному выражению 101((0|1)(0|1)(0|1))+101

Синтез минимального автомата. Шаг 2

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

1. Построим соответствие переходов для текущего разбиения на группы. Результат построения приведен в табл. П4.2.

182

Таблица П4.2 Итерация 1. Соответствия переходов для разбиения на группы состояний

автомата, соответствующего регулярному выражению 101((0|1)(0|1)(0|1))+101

2. Очевидно, что группу G3 необходимо разбить на несколько подгрупп. Так как входные сигналы ‘0’ и ‘1’ дают разные разбиения Π0 и Π1, то результирующее разбиение будет содержать объе-

динение пересечений групп из данных разбиений Gi0 G1j . Ре-

0 , 1

зультирующее разбиение после первой итерации приведено в табл.

П4.3.

Таблица П4.3 Разбиение на группы состояний автомата, соответствующего регулярному

выражению 101((0|1)(0|1)(0|1))+101, после первой итерации

3. Построим соответствие переходов для текущего разбиения на группы. Результат построения приведен в табл. П4.4.

183