Automat Mealy'ego
Z Wikipedii
Definicja intuicyjna:
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.
Automat Mealy'ego - jest to rodzaj deterministycznego automatu skończonego, reprezentowany przez uporządkowaną szóstkę 
, 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
Zobacz też: Automat Moore'a
