8941511016

A. Konwersja Moore -> Mealy Kroki:

1.    W tabeli przejść do każdego stanu dopisujemy generowany przez niego sygnał Y -powstaje połączona tabela przejść / wyjść automatu Mealy'ego;

2.    minimalizujemy (łączymy) stany zgodne.

Przykład:

Automat Moore'a (detektor sekwencji „011”):

1) Tabela przejść / wyjść z dopisanymi sygnałami Y:

a

b

c

d

0 1

c/0	a/0
c/0	a/0
c/0	d/0
c/0	b/\

A ’/Y

to już jest automat Mealy 'ego!

2) Minimalizacja stanów:

Równoważność stanów:	Pod warunkiem równoważności:	Niezgodność WY:
(«. *)	-
(a, c)	(a,d)	X
(b,c)	(a,d)	X

a = b => a, b nowy stan a; A = {a, c, d}

13