Wstęp do Techniki Cyfrowej... Teoria automatów

Transkrypt

1 Wstęp do Techniki Cyfrowej... Teoria automatów

2 Alfabety i litery Układ logiczny opisywany jest przez wektory, których wartości reprezentowane są przez ciągi kombinacji zerojedynkowych. Zwiększenie stopnia abstrakcji modelu przez przypisanie nazw występującym wartościom wektorów; nazwy te są niezależne od konkretnych reprezentacji. Zbiór nazw nazywamy alfabetem, nazwy literami. Pojęcie alfabetu podstawa definicji charakterystycznych dla teorii automatów, której wariantem szczegółowym jest teoria układów logicznych.

3 Automaty i ich stany Automaty pracują w dyskretnej skali czasowej zmiany liter odbywają się w ściśle określonych chwilach czasowych. Podając na wejście automatu określoną sekwencję liter, w pewnej (n-tej) chwili otrzymamy określoną literę wyjściową:..., x n-3, x n-2, x n-1, x n y n Nieskończenie wiele sekwencji liter wejściowych nawet dla skończonych liczności alfabetów wejściowych

4 Automaty i ich stany c.d. Sekwencje liter wejściowych tworzą historie automatu, reprezentowane przez jego stany wewnętrzne. Skończony alfabet wewnętrzny reprezentuje skończoną liczbę wszystkich możliwych historii danego automatu. Automat skończony alfabety charakteryzujące wejście, wyjście oraz stan wewnętrzny zawiera ograniczoną liczbę liter.

5 Automat Mealy ego Uporządkowana piątka: A = < X, S, Y, d, l >, gdzie: X = {x 0, x 1,..., x m-1 } alfabet wejściowy, S = {s 0, s 1,..., s l-1 } alfabet wewnętrzny (zbiór stanów), Y = {y 0, y 1,..., y n-1 } alfabet wyjściowy, d:<x k, s k > s k+1 funkcja przejść l:<x k, s k > y k funkcja wyjść Zakłada się ponadto, że dla funkcji przejść < x k, s k > D d X S oraz analogicznie dla funkcji wyjść < x k, s k > D l X S

6 Definiowanie automatu Mealy ego Definicja analityczna podanie alfabetów wejściowego, wewnętrznego, wyjściowego, funkcji przejść oraz wyjść a b c a b c Tablica przejść-wyjść Graf automatu q r q s - - z r r - s z y - s - r - y z -

7 Automat Moore a Uporządkowana piątka: A = < X, S, Y, d, l >, gdzie: X = {x 0, x 1,..., x m-1 } alfabet wejściowy, S = {s 0, s 1,..., s l-1 } alfabet wewnętrzny (zbiór stanów), Y = {y 0, y 1,..., y n-1 } alfabet wyjściowy, d:<x k, s k > s k+1 funkcja przejść l:<s k > y k funkcja wyjść

8 Definiowanie automatu Moore a Definicja analityczna analogicznie Tablica przejść-wyjść tylko jedna kolumna wartości wyjściowych Graf automatu zmieniona konwencja p q r a b c q r p y q r q z r q p y

9 Użyteczne definicje (1) Słowo wejściowe automatu A dowolna sekwencja liter alfabetu wejściowego. Jeżeli w wyniku pobudzenia automatu w stanie s słowem x końcowa litera wyjściowa jest określona, to słowo to nazywa się odpowiednim dla stanu s (x s). Dla automatu Moore a nieokreśloność stanu pociąga za sobą nieokreśloność litery wyjściowej.

10 Użyteczne definicje (2) Automat A 1 = < X, S 1, Y, d 1, l 1 > w stanie s 1 pokrywa automat A 2 = < X, S 2, Y, d 2, l 2 > w stanie s 2 (zapis s 1 s 2 ), jeśli każde słowo odpowiednie dla s 2 jest odpowiednie dla s 1 i dla każdego takiego słowa końcowe litery wyjściowe obu automatów są są sobie równe: l 2 (x, s 2 ) = l 1 (x, s 1 ) Automat A 1 = < X, S 1, Y, d 1, l 1 > pokrywa automat A 2 = < X, S 2, Y, d 2, l 2 > (zapis A 1 A 2 ), jeśli dla każdego stanu s 2 automatu A 2 istnieje przynajmniej jeden stan s 1 automaty A 1 taki, że s 1 s 2 A 1 A 2 Automat A 1 zawiera w sobie niejako funkcję automatu A 2 2 s S 2 s S 1 1 s 1 s 2

11 Użyteczne definicje (3) Automat A 1 = < X, S 1, Y, d 1, l 1 > w stanie s 1 jest nieodróżnialny od automatu A 2 = < X, S 2, Y, d 2, l 2 > w stanie s 2 (zapis s 1 s 2 ), jeśli każde słowo odpowiednie dla s 2 jest odpowiednie dla s 1 i odwrotnie, przy czym końcowe litery wyjściowe obu automatów są sobie równe. Graniczny (symetryczny) przypadek pokrywania. Automat A 1 = < X, S 1, Y, d 1, l 1 > jest nieodróżnialny od automatu A 2 = < X, S 2, Y, d 2, l 2 > (zapis A 1 A 2 ), jeżeli automaty te wzajemnie się pokrywają.

12 Użyteczne definicje (4) Automat A R = < X, S R, Y, d R, l R > jest zredukowanym dla automatu A = < X, S, Y, d, l > jeżeli automat A R pokrywa automat A i jednocześnie liczba stanów automatu zredukowanego nie jest większa od liczby stanów automatu A. Dla danego automatu może istnieć wiele automatów zredukowanych, bądź może ich nie być wcale. Każdy automat jest zredukowanym dla samego siebie. W zbiorze automatów zredukowanych znajduje się przynajmniej jeden o najmniejszej możliwej liczbie stanów wewnętrznych.

13 Relacja niesprzeczności stanów Relacja niesprzeczności stanów automatu A = < X, S, Y, d, l > zbiór wszystkich takich par jego stanów <s 1, s 2 >, dla których słowo odpowiednie dla jednego ze stanów, jeśli jest również odpowiednie dla drugiego, generuje z tych stanów jednakowe litery końcowe: R ~ ={<s 1, s 2 > S: x s 1 x s 2 l(x, s 2 ) = l(x, s 1 )}. Stany niesprzeczne oznacza się s 1 s 2. Dualnie definiuje się relację sprzeczności stanów ma ona mniejsze znaczenie i jest rzadziej używana.

14 Zbiory stanów niesprzecznych Zbiorem stanów niesprzecznych Q nazywa się zbiór, którego dowolne dwa elementy tworzą parę stanów niesprzecznych. Maksymalnym zbiorem stanów niesprzecznych Q max jest zbiór, do którego dodanie jednego elementu powoduje utratę właściwości niesprzeczności stanów. Zbiór wszystkich dla danego elementu maksymalnych zbiorów stanów niesprzecznych nazywa się rodziną maksymalnych zbiorów stanów niesprzecznych i oznacza {Q max }. Pojęcie to odgrywa kluczową role w procesie poszukiwania automatu minimalnego automatu zredukowanego o najmniejszej możliwej liczbie stanów.

15 Relacja nieodróżnialności stanów Relacja nieodróżnialności R stanów automatu A = <X, S, Y, d, l> jest zbiór wszystkich takich par jego stanów <s 1, s 2 >, dla których słowo odpowiednie dla jednego z nich jest jednocześnie odpowiednim dla drugiego i odwrotnie, a wygenerowane z tych stanów litery końcowe są jednakowe: Para stanów nieodróżnialnych różni się co najwyżej oznaczeniem.

16 Zbiory stanów nieodróżnialnych Zbiorem stanów nieodróżnialnych B nazywa się zbiór, którego dowolne dwa elementy tworzą parę stanów nieodróżnialnych. Maksymalnym zbiorem stanów nieodróżnialnych B max jest zbiór, do którego dodanie jednego elementu powoduje utratę właściwości nieodróżnialności stanów. Zbiór wszystkich dla danego elementu maksymalnych zbiorów stanów nieodróżnialnych nazywa się rodziną maksymalnych zbiorów stanów nieodróżnialnych i oznacza {B max }. Pojęcie to jest istotne w procesie poszukiwania automatu minimalnego dla automatu pierwotnego o dużej liczbie stanów.

17 Zamkniętość rodziny zbiorów stanów niesprzecznych Dla określonej litery wejściowej, stany następne wyznaczone dla wszystkich stanów dowolnego zbioru maksymalnego, są zawsze podzbiorem któregoś ze zbiorów maksymalnych stanów niesprzecznych tworzących tę rodzinę. Zbiory rodziny {Q max } nie muszą być rozłączne; może się zatem zdarzyć, że stany następne są jednocześnie podzbiorami kilku różnych zbiorów maksymalnych

18 Automaty ilorazowe Automaty ilorazowe budowane są na rodzinach zbiorów stanów niesprzecznych. Najczęściej buduje się je na rodzinie {Q max }, rzadziej na {B max }. Automat ilorazowy automatu pierwotnego A zbudowany dla rodziny {T j } oznacza się A/{T j }. Automatem minimalnym jest automat ilorazowy dla maksymalnie zredukowanej rodziny {Q max }. Redukcja musi zachować pełne pokrycie stanów automatu pierwotnego i warunek zamkniętości. Rodzinę taką oznacza się {P j }.

19 Minimalizacja automatów

20 Minimalizacja automatów {Q max } = {{1,2,4,5,6,7}, {1,5,8}, {1,3,6}, {1,3,8}} A B C D a b c a b c A A D A C z z y B A A A C z y y C A B D B D z y - D A A B D z y y

21 Minimalizacja automatów {Q max } = {{1,2,4,5,6,7}, {1,5,8}, {1,3,6}, {1,3,8}} A B C D a b c a b c A A D A z z y B A A A C z y y C A B D B D z y - D A A D z y y

22 Rytm pracy automatów Minimalizacja liczby stanów zachowuje klasę typu automatów. W automacie Mealy ego litera wyjściowa generowana jest przed wejściem do stanu następnego, w automacie Moore a z chwilą przejścia do nowego stanu. Nieokreśloność stanu następnego automatu Moore a pociąga za sobą nieokreśloność litery wyjściowej; w automacie Mealy ego nie wpływa na literę wyjściową (generowaną przed wypadnięciem z grafu). Relacje pokrywania, niesprzeczności i nieodróżnialności nie mogą zachodzić między automatami dwóch różnych typów.

23 Podobieństwo automatów Automaty: Moore a A 1 = < X, S 1, Y, d 1, l 1 > w stanie s 1 i Mealy ego A 2 = < X, S 2, Y, d 2, l 2 > w stanie s 2 nazywa się podobnymi (zapis s 1 s 2 ), jeśli każde słowo odpowiednie dla s 2 jest odpowiednie dla s 1 i odwrotnie, przy czym końcowe litery wyjściowe obu automatów są sobie równe. Automaty Moore a A 1 i Mealy ego A 2 nazywa się podobnymi (zapis A 1 A 2 ), jeżeli dla każdego stanu s 1 automatu A 1 istnieje przynajmniej jeden stan s 2 automatu A 2 taki, że w tych stanach automaty są podobne oraz dla każdego stanu s 2 automatu A 2 istnieje przynajmniej jeden stan s 1 automatu A 1 taki, że w tych stanach automaty są podobne.

24 Automat Mealy ego podobny do automatu Moore a Dla automatu Moore a A 1 = < X, S 1, Y, d 1, l 1 > można znaleźć automat podobny Mealy ego A 2 = < X, S 2, Y, d 2, l 2 >, jeżeli dla każdej litery wejściowej automatu Mealy ego A 2 będzie spełniona zależność: l 2 (x,s) = l 1 [d(x,s)] Przykład: a b y z z y a b a b z z y y z z y y

25 Automat Moore a podobny do Mealy ego Dla każdej pary <stan następny, litera wyjściowa> automatu Mealy ego A 1 = < X, S 1, Y, d 1, l 1 > wprowadzamy nazwę stanu wewnętrznego automaty Moore a A 2 =<X, S 2, Y, d 2, l 2 >, co oznaczmy symbolem: s 2 i = d 1 (x,s 1j ) / l 1 (x,s 1j ), przy czym l 1 (s 2i ) = l 1 (x,s 1j ). Zbiór tych nazw tworzy alfabet wewnętrzny S 2 automatu A 2. Korzystając z wierszy automatu Mealy ego podobny automat Moore a tworzymy w następujący sposób: - wybieramy wiersz odpowiadający stanowi następnemu z daną nazwą stanu wewnętrznego automatu Moore a, - dla tego wiersza stany następne określamy według tablicy Mealy ego, stosując nazwy stanów automatu Moore a poprzednio wyznaczone. Na koniec minimalizujemy i porządkujemy otrzymany automat.

26 Przykład a b a b y z z y z z y y a b 1 4/y A 3/z B 2 2/z C 1/y D 3 2/z C 3/z B 4 4/y A 1/y D a b A A D y B C B z C C D z D A B y