Automat Mealy’ego: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
PG (dyskusja | edycje)
drobne redakcyjne
m drobne merytoryczne, drobne redakcyjne, int.
Linia 1:
{{Dopracować|źródła=2013-09 }}
[[Plik:Mealymachine jaredwf.png|thumb|Automat Mealy'ego]]'''Automat Mealy'ego''' automat, którego wyjście jest funkcją stanu wewnętrznego i sygnałów wejściowych (por. [[automat Moore'a]]).
[[Plik:Mealy machine-diagram.svg|right|Schemat Ideowy Automatu Mealy'ego]]
[[Plik:Mealymachine jaredwf.png|thumb|Automat Mealy'ego]]
 
== Definicja formalna ==
Automat Mealy'ego jest to rodzaj [[Deterministyczny automat skończony|deterministycznego automatu skończonego]], reprezentowany przez uporządkowaną szóstkę:
 
<math>
\langle Z,Q,Y,\Phi,\Psi,q_0\rangle
</math>,[[Plik:Mealy machine-diagram.svg|right|Schemat Ideowy Automatu Mealy'ego|centre|200x200px]]
</math>, gdzie:
gdzie:
 
* ''Z = {z<sub>1</sub>, z<sub>2</sub>, ... ''…'', z<sub>n</sub>}'' - [[zbiór]] sygnałów wejściowych,
* ''Q = {q<sub>1</sub>, q<sub>2</sub>, ... ''…'', q<sub>n</sub>}'' - zbiór stanów wewnętrznych,
* ''Y = {y<sub>1</sub>, y<sub>2</sub>, ... , y<sub>n</sub>)'' - 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)],'' zależy od stanu, w którym znajduje się automat oraz od sygnału wejściowego,
* ''q<sub>0</sub>'' - stan początkowy, q<sub>0</sub> 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.