Do stworzenia mamy układ rozróżniający ciąg binarny 0110011.
W tym celu tworzymy graf przejśd, każdy punkt grafu to poszczególne miejsce w ciągu (dla automatu Moore a), czyli w naszym przypadku punktów jest 7 (bo
7 cyfr binarnych), oraz ilośd miejsc +1 dla automatu Mealy ego, czyli w naszym przypadku 8.
Z każdego punktu grafu możemy wyjśd z wartością 1 lub 0 oraz możemy z takimi wartościami do niego wejśd. Jeśli wartośd która wchodzi spełnia warunek
przejścia do następnego punktu (jest zgodna z rozpoznawanym kodem) to przechodzimy dalej, w przeciwnym przypadku sprawdzamy jakie mieliśmy
poprzednie wartości i od tego uzależniamy do którego miejsca się cofamy (ustalamy, że nie wiemy kiedy nowy ciąg się zaczyna), tak więc np. jak poprzednią
wartością było 0, jesteśmy na 5tym punkcie i wchodzimy z 1 to nie cofamy się na sam początek, ponieważ dostaliśmy kombinację 0 i 1 co mogło byd
początkiem nowej sekwencji (poprzednie zero mogło nim byd), więc wchodzimy do punktu 3ciego.
Zapis zgodnie z automatem Moore a:
0/0
0/0 1/0 1/0 0/0 0/0 1/0
Q1 Q2 Q3 Q4 Q5 Q6 Q7
0/0
1/0 0/0 1/0
1/0 0/0
1/1
Zapis zgodnie z automatem Mealy ego:
0
0
0 1 1 0 0 1
Q1 Q2 Q3 Q4 Q5 Q6 Q7 Q8
0 0 0 0 0 0 0 1
0
1 0 1
1 0
1
Po stworzeniu grafu tworzymy tablicę przejśd (dokładniej stany symboliczne), różne w zależności od automatu:
Automat Moore a: Automat Mealy ego:
X Qn Qn+1 Y Qn+1
Qn Y
0 Q1 Q2 0 x=0 x=1
0 Q2 Q2 0 Q1 Q2 Q1 0
0 Q3 Q2 0 Q2 Q2 Q3 0
0 Q4 Q4 0 Q3 Q2 Q4 0
0 Q5 Q6 0 Q4 Q5 Q1 0
0 Q6 Q2 0 Q5 Q6 Q3 0
0 Q7 Q2 0 Q6 Q2 Q7 0
1 Q1 Q1 0 Q7 Q2 Q8 0
1 Q2 Q3 0 Q8 Q2 Q1 1
1 Q3 Q4 0
1 Q4 Q1 0
1 Q5 Q3 0
1 Q6 Q7 0
1 Q7 Q1 1
Dalsza częśd będzie osobno dla obu automatów.
Automat Moore a:
Etap stanów binarnych  przypisujemy poszczególnym stanom (punktom grafu) odpowiedniki binarne.
Q2 111 Q1 000
Q3 101 Q4 001
Q6 110 Q8 100
Q7 011 Q5 010
//Szczerze powiedziawszy to nie wiem jak się przypisuje, tzn. skrajne wartości dostają te najczęściej występujące, reszta chyba taki random
Przypisujemy w tabeli zamiast nazw odpowiednie kody:
Qn+1
Qn Y
x=0 x=1
000 111 000 0
111 111 101 0
101 111 001 0
001 010 000 0
010 110 101 0
110 111 011 0
011 111 100 0
100 111 000 1
Wypisujemy z ostatniego wiersza
Wyznaczamy funkcję dla pierwszego przerzutnika (liczba przerzutników to najmniejszą ilośd bitów na której możemy zapisad ilośd cyfr binarnych po
przekształceniu ilości punktów (ogniw), czyli w naszym przypadku 3, bo 2^3>=7 a 2^2<7.
D1=´1(Q,X)
D2=´2(Q,X)
D3=´3(Q,X)
Potrzebna jest tablica wzbudzeo (zrobimy dla przerzutnika D):
QQ D
00 0
01 1
10 0
11 1
Tworzymy tablice Karnaugh:
D1:
(sprawdzamy jak siÄ™ zmienia dany bit  w tym przypadku q1 bo sprawdzamy dla D1)
q1x
00 01 11 10
q3q2
00 1 0 0 0
01 0 1 0 1
11 1 1 1 1
10 1 0 1 1
Dla pozostałych tak samo&
Piszemy funkcję boolowską i teraz tylko układzik narysowad  był taki miły, że powiedział, że tego nie da więc was nie uraczę moim super rysuneczkiem.
Automat Mealy ego:
Etap stanów binarnych:
Q2 111 Q1 000
Q3 101 Q4 001
Q6 110 Q5 010
Q7 011
Przypisujemy w tabeli zamiast nazw odpowiednie kody:
Qn X Qn+1 Y
000 0 111 0
111 0 111 0
101 0 111 0
001 0 010 0
010 0 110 0
110 0 111 0
011 0 111 0
000 1 000 0
111 1 101 0
101 1 001 0
001 1 000 0
010 1 101 0
110 1 011 0
011 1 000 1
Wypisujemy z ostatniego wiersza:
Potrzebujemy tablicy przejśd przerzutnika (tym razem JK):
QnQn+1 J K
00 0 X
01 1 X
10 X 1
11 X 0
W przypadku takiego przerzutnika potrzebujmy dwóch tablic Karnaugh na każdy z przerzutników (osobno dla wejścia J i dla wejścia K):
Przerzutnik dla q3
J:
q1x
00 01 11 10
q3q2
00 1 0 0 0
01 1 1 0 1
11 X X X X
10 - - X X
Wyznaczamy funkcjÄ™ ´3J
K:
q1x
q3q2 00 01 11 10
00 X X X X
01 X X X X
11 0 1 0 0
10 - - 1 0
Wyznaczamy funkcjÄ™ ´3K
Dla pozostałych tak samo&
Piszemy funkcje boolowskie i teraz tylko układzik narysowad  był taki miły, że powiedział, że tego nie da więc was nie uraczę moim super rysuneczkiem.