Самостоятельная работа №3
.docМИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
УФИМСКИЙ ГОСУДАРСТВЕННЫЙ АВИАЦИОННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ
Кафедра «Вычислительной техники и защиты информации»
Курс «Теория автоматов»
(самостоятельная работа студентов)
(Часть III)
АНАЛИЗ ПОСЛЕДОВАТЕЛЬНОСТНОЙ СХЕМЫ.
Выполнил:
студент группы ВМ-218
Проверил:
профессор кафедры ВТ и ЗИ
Фрид А.И.
УФА – 2004
Содержание:
1.Исходные данные.............................................................................................3
2.Получение аналитического описания автомата.............................................4
3.Восстановление таблицы истинности по аналитическому описанию..........4
4.Анализ всех возможных начальных состояний, нахождение
циклов и тупиковых начальных состояний…………………………….................4
Построение таблицы переходов…………………………………………………….4
Построение круговой диаграммы переходов……………………………………..6
5. Заключение…………………………………………………………………………..7
1. Исходные данные:
2.Получение аналитического описания автомата:
y1(t+1) =y1(t-1)y2(t-1) y1t y2t
y2(t+1) =y1(t-1)y2(t-1) y1t y2t
3.Восстановление таблицы истинности по аналитическому описанию:
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
0 |
0 |
0 |
0 |
1 |
0 |
|
0 |
0 |
0 |
1 |
1 |
0 |
|
0 |
0 |
1 |
0 |
1 |
0 |
|
0 |
0 |
1 |
1 |
1 |
1 |
|
0 |
1 |
0 |
0 |
0 |
0 |
|
0 |
1 |
0 |
1 |
0 |
0 |
|
0 |
1 |
1 |
0 |
0 |
0 |
|
0 |
1 |
1 |
1 |
1 |
0 |
|
1 |
0 |
0 |
0 |
0 |
0 |
|
1 |
0 |
0 |
1 |
0 |
0 |
|
1 |
0 |
1 |
0 |
0 |
0 |
|
1 |
0 |
1 |
1 |
1 |
0 |
|
1 |
1 |
0 |
0 |
0 |
0 |
|
1 |
1 |
0 |
1 |
0 |
0 |
|
1 |
1 |
1 |
0 |
0 |
0 |
|
1 |
1 |
1 |
1 |
1 |
0 |
4.Анализ всех возможных начальных состояний, нахождение циклов и тупиковых начальных состояний:
Построение таблицы переходов:
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
0 |
0 |
0 |
0 |
1 |
0 |
|
0 |
0 |
1 |
0 |
1 |
0 |
|
1 |
0 |
1 |
0 |
0 |
0 |
|
1 |
0 |
0 |
0 |
0 |
0 |
|
0 |
0 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
0 |
0 |
0 |
1 |
1 |
0 |
|
0 |
1 |
1 |
0 |
1 |
0 |
|
1 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
0 |
0 |
1 |
1 |
1 |
1 |
|
1 |
1 |
1 |
1 |
1 |
0 |
|
1 |
1 |
1 |
0 |
0 |
0 |
|
1 |
0 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
0 |
1 |
0 |
0 |
0 |
0 |
|
0 |
0 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
0 |
1 |
0 |
1 |
0 |
0 |
|
0 |
1 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
0 |
1 |
1 |
1 |
1 |
0 |
|
1 |
1 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
1 |
0 |
0 |
1 |
0 |
0 |
|
0 |
1 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
1 |
0 |
1 |
1 |
1 |
0 |
|
1 |
1 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
1 |
1 |
0 |
0 |
0 |
0 |
|
0 |
0 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
y1(t-1) |
y2(t-1) |
y1t |
y2t |
y1(t+1) |
y2(t+1) |
|
1 |
1 |
0 |
1 |
0 |
0 |
|
0 |
1 |
0 |
0 |
|
|
Построение круговой диаграммы переходов:
0000(0) 0001(1) 1111(15)
5.Заключение:
В данной работе мы произвели анализ последовательной схемы.
В результате построения таблицы переходов и круговой диаграммы мы видим, что данный автомат при любых начальных условиях входит в устойчивый цикл и генерирует последовательно на выходе ряд цифр – 0, 2, 10, 8.
В данном случае тупиковых состояний не обнаружено.