208 komputerowa realizacja automatow skonczonych 2, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sprawozdania


(163797) Sylwia Starzyńska

(163769) Michał Luszawski

Temat: Komputerowa realizacja automatów skończonych

(laboratorium dnia 23.10.2008)

  1. Cel ćwiczenia

Praktyczne zapoznanie się ze sposobem programowej realizacji na komputerze automatów skończonych (na przykładzie automatu typu Moore'a). Postać symboliczna grafu automatu i jej reprezentacja w pamięci komputera.

  1. Specyfikacje techniczne

Oprogramowanie specjalistyczne do realizacji automatów skończonych.

  1. Wstęp teoretyczny

Automaty skończone to automaty z skończonym alfabetem liter wejściowych oraz skończonym alfabetem liter wyjściowych. Skończony automat Moore'a opisany jest funkcjami:

Q x X - > Q (funkcja przejść)

Q - > Y (funkcja wyjść)

Punktem wyjścia do programowej realizacji automatu Moore'a jest transformacja grafu automatu na wyrażenie symboliczne. Zadany jest automat Moore'a reprezentowany przez:

Graf automatu Gi jest transformowany na wyrażenie symboliczne G+i . Składa się ono z wyszczególnionych iloczynów qizj (q- stan następny, z - litera generująca przejście). Przykładowy sposób realizacji podany zostanie w zadaniach poniżej. Graf jest rysowany w momencie zatwierdzenia wyrażenia symbolicznego w programie.

Aby przygotować symulację należy określić:

Następnie rozpoczynamy symulację:

Poprzez użycie klawisza SPACE możemy obserwować poszczególne kroki symulacji (dla symulacji krokowej). W okienku obok wypisywane są dane dotyczące: stanu obecnego (Q(t)) oraz następnego (Q(t+1)), a także zmiennej realizującej to przejście (x(t)) wraz z literą odebraną na wyjściu (Y(t+1)).

  1. Realizowane ćwiczenia

Zad.1

Przykładowy graf.

q1 → y2

q2 → y3

q3 → y1

q4 → y3

Rysunek 1.

Q(t)

x(t)

Q(t+1)

Y(t+1)

q1

z2

q2

y3

q2

z1

q3

y1

q3

z1

q1

y2

q1

z1

q3

y1

q3

z2

q3

y1

Symulacja.

Stan początkowy q1

Słowo wejściowe : z2, z1,z1, z1,z2

Zad 2.

Zamek szyfrowy.

q1 → y1

q2 → y1

q3 → y1

q4 → y1

q5 → y2

Rysunek 2.

Q(t)

x(t)

Q(t+1)

Y(t+1)

q1

z1

q2

y1

q2

z2

q3

y1

q3

z2

q5

y2

q5

z1

q5

y2

Symulacja.

Stan początkowy q1

Słowo wejściowe : z1, z2, z2, z1.

(włączy się alarm)

Zad 3.

Sumator szeregowy.

q1 → y1

q2 → y2

q3 → y1

q4 → y2

Rysunek 3.

Q(t)

x(t)

Q(t+1)

Y(t+1)

q1

z3

q2

y2

q2

z2

q2

y2

q2

z4

q3

y1

q3

z3

q3

y1

q3

z1

q2

y2

Symulacja.

Stan początkowy q1

Słowo wejściowe : z3, z2, z4, z3, z1 .

5. Wnioski

Komputer wraz zainstalowanym odpowiednim oprogramowaniem, jest idealnym narzędziem do symulacji działania automatów skończonych. Dzięki komputerowej symulacji bada się poprawność działania modelu automatu (stworzonego w postaci grafu).

Na podstawie funkcji przejść otrzymujemy gotowy graf automatu, który później możemy zasymulować, sprawdzając tym samym poprawność jego działania.



Wyszukiwarka

Podobne podstrony:
208 komputerowa realizacja automatow skonczonych, Politechnika Wrocławska - Materiały, logika uklado
implementacja automatu skonczonego pelniacego funkcje automatu niedeterministycznego, Politechnika W
implementacja automatu skonczonego pelniacego funkcje automatu niedeterministycznego012, Politechnik
206 automat parametryczny, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sprawozdan
211 automat asynchroniczny 2, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sprawoz
206 automat parametryczny 2, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sprawozd
210 komputerowa synteza automatu z parametrem wewnetrznym, Politechnika Wrocławska - Materiały, logi
205 zastosowanie jezyka wyrazen regularnych do syntezy automatow, Politechnika Wrocławska - Materiał
207 automaty moore mealy, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sprawozdani
203 rejestry, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sprawozdania
203 uklady sekwencyjne 2, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sprawozdani
203 uklady kombinacyjne - kodery i dekodery, Politechnika Wrocławska - Materiały, logika ukladow cyf
203 uklady sekwencyjne - liczniki, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sp
203 uklady sekwencyjne, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sprawozdania
202 uklady arytmetyczne, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sprawozdania
203 rejestry, Politechnika Wrocławska - Materiały, logika ukladow cyfrowych, sprawozdania
208 komputerowa realizacja automatow skonczonych 3id 28837
automatyka i robotyka-rozwiazania, Politechnika Wrocławska - Materiały, podstawy automatyki i roboty

więcej podobnych podstron