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

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
m drobne merytoryczne, drobne redakcyjne, int.
m drobne techniczne
Linia 1:
{{Dopracować|źródła=2013-09 }}
[[Plik:Mealymachine jaredwf.png|thumb|Automat Mealy'ego|201px]]'''Automat Mealy'ego''' – automat, którego wyjście jest funkcją stanu wewnętrznego i sygnałów wejściowych (por. [[automat Moore'a]]).
 
== 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>,
<math>
</math>,[[Plik:Mealy machine-diagram.svg|Schemat Ideowy Automatu Mealy'ego|centre|200x200px200px]]
\langle Z,Q,Y,\Phi,\Psi,q_0\rangle
</math>,[[Plik:Mealy machine-diagram.svg|Schemat Ideowy Automatu Mealy'ego|centre|200x200px]]
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)],''