Специальная математика (стр. 6 )

Т. П.	1	2	3	4	5	6
x1	1/A	3/A	6/B	2/A	6/B	4/A
x2	2/A	1/A	3/A	2/A	5/A	5/A

- II - эквивалентные

A B A B C

A B C

Т. П.	1	2	4	3	5	6
x1	1/A	3/A	6/B	2/C	6/C	4/A
x2	2/A	1/A	3/A	2/B	5/B	5/B

- III - эквивалентные

A B C

Т. П.	A	B	C
x1	A	C	A
x2	A	B	B

Т. В.	A	B	C
x1	y1	y1	y2
x2	y	y2	y2

Получен минимальный (с точностью до изоморфизма) автомат, в котором классы эквивалентных состояний заменены именами классов. Он эквивалентен (по поведению) исходному автомату, но имеет три состояния вместо шести.

Замечание. Классы, в процессе их выделения, могут дробиться, но не могут объединяться.

Ограниченность метода Гилла. В полученном автомате наглядно видно, что автомат не выйдет из начального состояния А – оно является тупиковым. Следовательно, автомат никогда не перейдет в состояния В и С, которые в данном случае будут недостижимыми.

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

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

3.4. Особенности минимизации автомата Мура

Минимизация автомата Мура отличается первым шагом. Здесь в классы одно-эквивалентных попадают состояния, отмеченные одинаковыми выходными сигналами.

А В

 

	y1	y2	y2	y2	y2	y2	y2
	1	2	3	4	5	6	7
x1	2/B	3/B	5/B	3/B	4/B	7/B	3/B
x2	1/А	1/А	1/А	1/А	1/А	1/А	1/А

	y1	y2
	A	B
x1	B	B
x2	А	А

3.5. Переход от автомата Мура к автомату Мили и наоборот

Автоматы Мура и Мили отличаются функцией выходов.

y(t) = j(q(t)) – для автомата Мура

и

y(t) = j(q(t-1), x(t)) – для автомата Мили

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

А таблица переходов автомата Мили получается из расширенной таблицы переходов автомата Мура отбрасыванием первой строки.

х1

 

	y1	y3	y2
x2   A	A	B	C
x1	A	B	A
x1   x1   x3   B   x2	B	B	C
x3   x3	C	A	C

x2

y3

y2

x3

x2

y1

 

Т. П.	A	B	C
x1	A	B	A
x2	B	B	C
x3	C	A	C

Т. В.	A	B	C
x1	y1	y3	y1
x2	y3	y3	y2
x3	y2	y1	y2

x1

Переход от автомата Мили к автомату Мура.