1. Synteza abstrakcyjna automatu Moore’a na podstawie wyrażenia regularnego podanego przez prowadzącego

S₁ = (z₁z₂ + z₂z₂z₁)(z₃)* /y₀

$S_{2} = \overline{S_{1}}$ /y₁

S₁ = ( z₁ z₂ + z₂ z₂ z₁ ) ( z₃ )*

Tablica przejść automatu Moore’a:

WYJŚCIE	y1	y1	y0	y1	y1	y0	y0	y1
STANY WEJŚCIE	0	1	2	3	4	5	6	7
z1	1	*	*	*	5	*	*	*
z2	3	2	*	4	*	*	*	*
z3	6	*	*	*	*	*	*	*

Minimalizacja: 2≡5≡6

WYJŚCIE	y1	y1	y0	y1	y1	y1
STANY WEJŚCIE	0	1	2	3	4	5
z1	1	*	*	*	5	*
z2	3	2	*	4	*	*
z3	5	*	*	*	*	*

Wprowadzamy nowe oznaczenia:

0 -> q₀ , 1 -> q₁ , 2 -> q₂ , 3 -> q₃ , 4 -> q₄ , 5 -> q₅

WYJŚCIE	y1	y1	y0	y1	y1	y1
STANY WEJŚCIE	q0	q1	q2	q3	q4	q5
z1	q1	q5	q5	q5	q5	q5
z2	q3	q2	q5	q4	q5	q5
z3	q5	q5	q5	q5	q5	q5

Graf automatu:

1. Wnioski

Podczas zajęć udało nam się przeprowadzić syntezę abstrakcyjną automatu Moore’a na podstawie wyrażenia regularnego. Niestety, zabrakło nam czasu na zamodelowanie automatu na stanowisku.