Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

Projektowanie automatów: minimalizacja automatów realizacja automatów.

Podobne prezentacje


Prezentacja na temat: "Projektowanie automatów: minimalizacja automatów realizacja automatów."— Zapis prezentacji:

1 Projektowanie automatów: minimalizacja automatów realizacja automatów

2 Minimalizacja liczby stanów automatu Celem minimalizacji liczby stanów jest takie przekształcenie automatu do innego automatu, równoważnego pierwotnemu, aby można było go zrealizować przy użyciu jak najmniejszej liczby elementów pamiętających - przerzutników. Jeżeli automat przed minimalizacją ma N stanów, to do jego realizacji potrzeba M przerzutników, zgodnie z: 2 M-1 < N 2 M Jeżeli w efekcie minimalizacji liczby stanów z N do N otrzymamy relację: 2 M-1 < N 2 M i M < M to już jest to korzystne. Układy sekwencyjne - minimalizacja automatów 2/21

3 Pojęcia: Stany niesprzeczne - dwa stany następne automatu są niesprzeczne, gdy są jednakowe albo co najmniej jeden z nich jest nieokreślony. Niesprzeczne stany wyjść - występują wtedy, gdy bity reprezentujących je słów wyjściowych są parami jednakowe lub co najmniej jeden z nich jest nieokreślony. Stany zgodne - dwa stany wewnętrzne A i oraz A j są zgodne, gdy dla każdego słowa wejściowego X i spełnione są warunki: stany wyjść są niesprzeczne; stany następne są niesprzeczne lub zgodne. Układy sekwencyjne - minimalizacja automatów 3/21

4 Podczas minimalizacji automatu muszą być przy tym spełnione warunki: pokrycia, tzn. nie pominięcia żadnego ze stanów pierwotnych automatu; zamkniętości, tzn. dla każdych dwóch stanów zgodnych A i A j należących do grupy stanów zgodnych G n i dla każdego słowa wejściowego X i stany następne A i (A i = (A i,X i )) oraz A j (A j = (A j,X i )) należą do tej samej grupy stanów zgodnych G m. Układy sekwencyjne - minimalizacja automatów 4/21

5 Minimalizacja metodą par: Przykład 1 Układy sekwencyjne - minimalizacja automatów 5/21

6 kolumna 4 : - kolumna 3 : (3,5) kolumna 2 : - kolumna 1 : (1,3,5) kolumna 0 : (0,2) MAX = {(0,2) (1,3,5) (4)} MIN = MAX Układy sekwencyjne - minimalizacja automatów 6/21

7 (0,2) - 0 (1,3,5) - 1(4) - 2 Układy sekwencyjne - minimalizacja automatów 7/21

8 Wykres zgodności: Układy sekwencyjne - minimalizacja automatów 8/21

9 Przykład 2 Układy sekwencyjne - minimalizacja automatów 9/21

10 Wyznaczanie MAX (przegląd kolumn tablicy trójkątnej): kolumna 7 : - kolumna 6 : (6,7) kolumna 5 : (5,7) kolumna 4 : - kolumna 3 : (3,5,7) kolumna 2 : (2,6,7) kolumna 1 : (1,3,5,7) Daje to klasę grup stanów zgodnych: MAX = {(1,3,5,7) (2,6,7) (4) (8)} (1,7)(3,7)(5,7)(2,7)(6,7) W(3,5)W(5,7)W(1,5)-- MIN = {(1,3,5,7) (2,6) (4) (8)} (1,3,5,7) - 1(2,6) - 2(4) - 3(8) - 4 Układy sekwencyjne - minimalizacja automatów 10/21

11 Tablica automatu zminimalizowanego: Graf zgodności: Układy sekwencyjne - minimalizacja automatów 11/21

12 Kodowanie automatów synchronicznych Przykład: a - tablica po minimalizacji; b - przykładowe kodowanie; c - tablica po zakodowaniu Układy sekwencyjne - minimalizacja automatów 12/21

13 Przykład a - tablica po minimalizacji; b - przykładowe kodowanie; c - tablica po zakodowaniu Układy sekwencyjne - minimalizacja automatów 13/21

14 c.d. - inny wariant kodowania: a - przykładowe kodowanie; b - tablica po zakodowaniu Układy sekwencyjne - minimalizacja automatów 14/21

15 Realizacja automatu na przerzutnikach przekształcenie zakodowanej tablicy Moorea w celu zastosowania sklejeń: przekształcenie zakodowanej tablicy Mealego w celu zastosowania sklejeń Układy sekwencyjne - minimalizacja automatów 15/21

16 Wykorzystanie tablic wzbudzeń przerzutników Układy sekwencyjne - minimalizacja automatów 16/21

17 Układy sekwencyjne - minimalizacja automatów 17/21

18 Wykorzystanie uniwersalnych funkcji wzbudzeń Układy sekwencyjne - minimalizacja automatów 18/21

19 Układy sekwencyjne - minimalizacja automatów 19/21

20 y = Q 1 Q 0 Układy sekwencyjne - minimalizacja automatów 20/21

21 Równoległe i szeregowe układy taktowania niech: Q i - zbiór pogrubionych symboli ( 1 i 0 ) i-tego przerzutnika Q1 j - zbiór pogrubionych 1 j-tego przerzutnika Q0 j - zbiór pogrubionych 0 j-tego przerzutnika Q i Q j - wyjścia wprost przerzutników i-tego oraz j-tego C i C j - sygnały taktujące przerzutniki i-ty oraz j-ty 1. jeżeli Q i Q0 j, to C i = Q j i przy stanach następnych Q j ' 0 wpisujemy Q i ' = _ 2. jeżeli Q i Q1 j, to C i = Q j i przy stanach następnych Q j ' 1 wpisujemy Q i ' = _ Układy sekwencyjne - minimalizacja automatów 21/21


Pobierz ppt "Projektowanie automatów: minimalizacja automatów realizacja automatów."

Podobne prezentacje


Reklamy Google