Пермский государственный технический университет.
Кафедра ИТАС
Лабораторная работа №2 По дисциплине «Теория автоматов»
Тема: «Синтез дискретного автомата c памятью»
Выполнил: студент гр. ЭВТ-03
Бахманн Генрих
Принял: преподаватель
Коган Т. И.
г. Пермь 2004
Задание: спроектировать систему управления реверсивным счетчиком для подсчета движущихся объектов в прямом и обратном направлениях.
Изобразим, что из себя будет представлять наше устройство.
|
ab |
00 |
01 |
11 |
10 |
00 |
00 |
10 |
11 |
01 |
00 |
|
|
00 |
00 |
00 |
00 |
10 |
00 |
00 |
00 |
00 |
01 |
Вход (z1) Выход (z2)
Таблицу строим по словесной формулировке, приведенной в задании и тем самым осуществляем первый переход к формализованной записи условий работы синтезируемого ДУ.
Минимизация первичной таблицы переходов-выходов
-
N
ab
Z1
Z2
00
01
11
10
1
1
2
6
0
0
2
2
3
0
0
3
2
3
4
0
0
4
5
3
4
0
0
5
5
6
1
0
6
1
7
6
0
0
7
8
7
6
0
0
8
9
8
7
0
0
9
9
2
6
0
1
С целью уменьшения числа элементов памяти желательно иметь таблицы переходов с минимальным числом строк. Число строк первичной таблицы переходов-выходов может быть уменьшено за счет объединения некоторых из них. Воспользуемся наиболее простым методом минимизации первичной таблицы переходов-выходов - методом объединения совместимых внутренних состояний. Для наглядности представления всех возможных объединений строк таблицы построим диаграмму объединений.
На основании полученного результата строим минимизированную таблицу переходов.