Primer: dizajnirati konacni automat ciji su prelazi (i izlazi)
dati sledecom tabelom:

STANJE x ULAZ --> NOVO_STANE x IZLAZ

0 0  --> 1 0
0 1  --> 2 0
1 0  --> 2 1
1 1  --> 3 0
2 0  --> 0 1
2 1  --> 3 1
3 0  --> 1 1
3 1  --> 1 0

(ulaz i izlaz su jednobitni, a stanje je dvobitno)

Kodiranje stanja: 0 --> 00, 1 --> 01, 2 --> 10, 3 --> 11

Tablice ekcitacije:

S Sn   J K
0 0  | 0 -
0 1  | 1 -
1 0  | - 1
1 1  | - 0

S1 S0  X | Sn1 Sn0 | Y | J1 K1 | J0 K0 
0  0   0   0    1    0    0  -    1  -   
0  0   1   1    0    0    1  -    0  -
0  1   0   1    0    1    1  -    -  1
0  1   1   1    1    0    1  -    -  0
1  0   0   0    0    1    -  1    0  -
1  0   1   1    1    1    -  0    1  -
1  1   0   0    1    1    -  1    -  0
1  1   1   0    1    0    -  1    -  0

NAPOMENA: J0, K0, J1, K1 i Y su funkcije od S0, S1 i X.

Minimizacija funkcija:

J1:
       S1' S1
  S0'  0 1 - -
  S0   1 1 - -
       X' X  X'

J1 = S0 + X

K1:
       
       S1' S1
  S0'  - - 0 1
  S0   - - 1 1
       X' X  X'

K1 = S0 + X'

J0:

       S1' S1
  S0'  1 0 1 0
  S0   - - - -
       X' X  X'

J0 = S1' X' + S1 X


K0:
0
       S1' S1
  S0'  - - - -
  S0   1 0 0 0
       X' X  X'

K0 = S1' X'

Y:

       S1' S1
  S0'  0 0 1 1 
  S0   1 0 0 1
       X' X  X'

Y = S1 S0' + S0 X'

Za Y se dodaje jedan D flip-flop koji cuva stanje izlaza do narednog
prelaza (videti Logisim fajl).

NAPOMENA: Za vise detalja pogledati Dandamudi (strane 127-140)
