Automat Moore’a: Różnice pomiędzy wersjami

'''Automat Moore'aMoore’a''' − automat, którego wyjście jest funkcją wyłącznie stanu wewnętrznego (por. [[automat Mealy'egoMealy’ego]]).

Automat Moore'aMoore’a jest to rodzaj [[Deterministyczny automat skończony|deterministycznego automatu skończonego]], reprezentowany przez uporządkowaną szóstkę:

Automat Moore'aMoore’a 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 nowego stanu.

== Przykład automatu Moore'aMoore’a ==

Poniżej przedstawiony został przykładowy graf automatu Moore'aMoore’a. Automat ten realizuje funkcję „zamka szyfrowego”, akceptującego w stanie ''q₄'' kombinację określaną przez [[wyrażenie regularne]] ((z₁z₂z₁ + z₂z₁)* z₁z₂)*.

Synteza strukturalna automatu Moore'aMoore’a ma na celu uzyskanie schematu logicznego. Składa się ona z pięciu etapów. Poszczególne etapy zostały przedstawione na przykładzie pokazanego wyżej grafu automatu.

Można teraz przystąpić do budowy schematu logicznego automatu Moore'aMoore’a (została użyta optymalizacja zgodnie z twierdzeniem Boole'aBoole’a, że suma logiczna argumentów jest równa negacji iloczynu logicznego zanegowanych argumentów, co pozwoliło na użycie wyłącznie bramek NAND):

[[Plik:Automat moore'aMoore’a uklad.png]]