Automat Mealy'ego

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Definicja intuicyjna:

Automat Mealy'ego − automat, którego wyjście jest funkcją stanu wewnętrznego i sygnałów wejściowych (por. automat Moore'a)

Schemat Ideowy Automatu Mealy'ego
Automat Mealy'ego

Automat Mealy'ego - jest to rodzaj deterministycznego automatu skończonego, reprezentowany przez uporządkowaną szóstkę 
\langle Z,Q,Y,\Phi,\Psi,q_0\rangle
, gdzie:

  • Z = {z1, z2, ... ,zn} - zbiór sygnałów wejściowych
  • Q = {q1, q2, ... ,qn} - zbiór stanów wewnętrznych
  • Y = {y1, y2, ... ,yn) - zbiór sygnałów wyjściowych
  • Φ - funkcja przejść, q(t+1) = Φ[q(t), z(t)]
  • Ψ - funkcja wyjść, zależy od stanu w którym znajduje się automat oraz od sygnału wejściowego, y(t) = Ψ[q(t), z(t)]
  • q0 - stan początkowy, q0 należy do zbioru Q

Automat Mealy'ego przedstawia się jako graf skierowany z wyróżnionym wierzchołkiem zwanym stanem początkowym. Podając sygnały na wejście automatu powodujemy zmianę bieżącego stanu i zwrócenie wartości przypisanej do podanego sygnału wejściowego.