115831

2. Automaty z wyjściem: Mealy'ego i Moore'a

Automaty skończone z wyjściem - wartość wyjścia jest wybierana z innego alfabetu niż „akceptuję/nie akceptuję".

-wyjście może być związane z aktualnym stanem (automat Moore'a)

-wyjście może być związane z przejściem (automat Meal/ego)

Przykład

1/1

7 X

automat Moore’a

start

0/ / 1 \ \ 1/2

automat Mealy ego

Automat Moore'a jest oczywiście typu DAS i jest uporządkowaną szóstką (£,0, A, 6, A,qO) A-ałfabet wyjściowy, A - funkcja wyjścia, zależy tytko od stanu w którym znaiduie sie automat.

Automat Mealy'ego opisujemy taką samą szóstką z tym, że A (funkcja wyjść) - zależy od stanu w którym znaiduie sie automat oraz od sygnału wejściowego.

Ml - (Q,E,A ,5    - automat Moorc’a

M2- (Q£A    - równoważny automat Mcaly’cgo

^gdzie V(q,a) = A.(8(q,a))

3.    Wszystkie konwersje na automaty równoważne

Z ćwiczeń...

4.    E-przejścia i E-domknięcia, do czego służą

c - przejścia to w NAS przejście na kolejny stan bez podania znaku na wejściu

o

r

A

-ST⁰

stan

«/

1 /

I q0

qi

q2

tqO} 0    0    {qlj

0 {ql) 0 (q2j 0    0    tq2}    0

r

(