8941511022

Graf:

Tabele przejść i wyjść:

Uwagi:

1)    Jest naturalne, że liczniki są automatami Moore'a; ponadto, stan wewnętrzny układu jest zwykle zakodowany tak jak odpowiadające mu słowo cyklu (funkcja wyjść X jest tożsamością, Y=A).

2)    W sygnale WE 0- pojawia się wartość dowolna - przypomni o sobie przy minimalizacji funkcji boolowskich w tym automacie.

Przykład 2: Sumator szeregowy

Na dwa wejścia automatu podawane są kolejne bity liczb w NKB począwszy od najmłodszego, na wyjściu powinny pojawiać się kolejne bity sumy.

Tabela sumowania binarnego:

ai	bi	Ci-1	Ci	Si
0	0	0	0	0	0 0 0	1 0 0
0	0	1	0	1	1 0 0	1 0 0
0	1	0	0	1	+ 010	1 0 1
0	1	1	1	0	1 1 1	0 0 1
1	0	0	0	1
1	0	1	1	0
1 1	1 1	0 1	1 1	0 1

4