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

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
m meryt. tech.
m usunięcie z tabel zbędnych znaków - -opymal.
Linia 5:
Automat Moore'a 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>
\langle Z,Q,Y,\Phi,\Psi,q_0\rangle
</math>,
[[Plik:Moore_machine-diagram.svg|centre|200x200px]]
gdzie:
Linia 22 ⟶ 20:
== Przykład automatu Moore'a ==
Poniżej przedstawiony został przykładowy graf automatu Moore'a. Automat ten realizuje funkcję „zamka szyfrowego”, akceptującego w stanie ''q<sub>4</sub>'' kombinację określaną przez [[wyrażenie regularne]] ((z<sub>1</sub>z<sub>2</sub>z<sub>1</sub>&nbsp;+&nbsp;z<sub>2</sub>z<sub>1</sub>)*&nbsp;z<sub>1</sub>z<sub>2</sub>)*.
 
[[Plik:Graf automatu moore.svg|450px|center]]
 
Linia 34 ⟶ 31:
* stany wewnętrzne:
 
{| class="wikitable" style="text-align: center"
!width="40"|stan
!width="40"|Q<sub>1</sub>
!width="40"|Q<sub>2</sub>
!width="40"|Q<sub>3</sub>
|---
!width="40" align="center"|q<sub>0</sub> || 0 || 0 || 0
|-
|width="40" align="center"|0
! q<sub>1</sub> || 0 || 0 || 1
|width="40" align="center"|0
|-
|width="40" align="center"|0
! q<sub>2</sub> || 0 || 1 || 0
|---
|-
!width="40" align="center"|q<sub>1</sub>
! q<sub>3</sub> || 0 || 1 || 1
|width="40" align="center"|0
|-
|width="40" align="center"|0
! q<sub>4</sub> || 1 || 0 || 0
|width="40" align="center"|1
|---
!width="40" align="center"|q<sub>25</sub> || 1 || 0 || 1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|---
!width="40" align="center"|q<sub>3</sub>
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|---
!width="40" align="center"|q<sub>4</sub>
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|---
!width="40" align="center"|q<sub>5</sub>
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|}
 
=== Etap II – budowa tablicy wzbudzeń przerzutników ===
W powyższym układzie użyte zostały trzy [[Przerzutnik#Przerzutniki typu D|przerzutniki typu D]] (stany zapisane są na trzech bitach). Trzeba określić funkcje wejść przerzutników (D<sub>1</sub>, D<sub>2</sub>, D<sub>3</sub>) w zależności od przejść między stanami. Tabela przejść i wyjść automatu połączona z tabelą wzbudzeń przerzutników wygląda następująco:
{| class="wikitable" style="text-align: center"
!width="40"|z
!width="40"|Q<sub>1</sub>
Linia 84 ⟶ 63:
!width="40"|D<sub>2</sub>
!width="40"|D<sub>3</sub>
|---
| 0 || 0 || 0 || 0 || 0 || 1 || 1 || 0 || 1 || 1
|width="40" align="center"|0
|-
|width="40" align="center"|0
| 0 || 0 || 0 || 1 || 0 || 0 || 0 || 0 || 0 || 0
|width="40" align="center"|0
|-
|width="40" align="center"|0
| 0 || 0 || 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|width="40" align="center"|0
|-
|width="40" align="center"|1
| 0 || 0 || 1 || 1 || 1 || 0 || 1 || 1 || 0 || 1
|width="40" align="center"|1
|-
|width="40" align="center"|0
| 0 || 1 || 0 || 0 || 0 || 1 || 1 || 0 || 1 || 1
|width="40" align="center"|1
|-
|width="40" align="center"|1
| 0 || 1 || 0 || 1 || 1 || 0 || 1 || 1 || 0 || 1
|---
|-
|width="40" align="center"|0
| 1 || 0 || 0 || 0 || 0 || 0 || 1 || 0 || 0 || 1
|width="40" align="center"|0
|-
|width="40" align="center"|0
| 1 || 0 || 0 || 1 || 0 || 1 || 0 || 0 || 1 || 0
|width="40" align="center"|1
|-
|width="40" align="center"|0
| 1 || 0 || 1 || 0 || 1 || 0 || 1 || 1 || 0 || 1
|width="40" align="center"|0
|-
|width="40" align="center"|0
| 1 || 0 || 1 || 1 || 1 || 0 || 0 || 1 || 0 || 0
|width="40" align="center"|0
|-
|width="40" align="center"|0
| 1 || 1 || 0 || 0 || 0 || 0 || 1 || 0 || 0 || 1
|width="40" align="center"|0
|---
| 1 || 1 || 0 || 1 || 1 || 0 || 1 || 1 || 0 || 1
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|---
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|---
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|---
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|---
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|1
|---
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|---
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|---
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|---
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|0
|width="40" align="center"|1
|---
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|width="40" align="center"|1
|width="40" align="center"|0
|width="40" align="center"|1
|}
 
Linia 238 ⟶ 109:
=== Etap V – schemat logiczny ===
Można teraz przystąpić do budowy schematu logicznego automatu Moore'a:
 
[[Plik:Automat moore'a uklad.png]]