Санкт-Петербургский Государственный Электротехнический Университет
«ЛЭТИ»
кафедра ВТ
ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
к курсовой работе по дисциплине
«Теория автоматов»
Вариант #9
Выполнил: Гладилин Г.А.
Группа: 3371
Преподаватель: Альшевский А.Н.
Санкт-Петербург
2006г.
1. Задание на курсовую работу.
-
Анализ задания и исходные сведения для курсовой работы.
В работе требуется синтезировать конечный автомат, реализующий предложенный алгоритм, заданный ГСА.
Влияние микроопераций
Ограничения на элементраную базу:
|
-- триггер не знаю |
|
|
-- логический элемент не знаю |
|
|
-- число входов логических элементов не знаю |
|
|
-- нагрузочная способность не знаю |
|
|
Y\X |
1 |
2 |
3 |
|
0 |
0 |
0 |
0 |
|
1 |
|
0 |
z |
|
2 |
Z |
z |
Z |
|
3 |
z |
|
|
|
4 |
|
|
1 |
2. Абстрактный синтез автомата
2.1 Граф автомата Мура
2.1.1. Получение графа автомата Мура по ГСА
2.1.2. Отмеченная таблица переходов автомата Мура
|
y0 |
y1 |
y2 |
y3 |
y4 |
s |
x1x2x3 |
|||||||
|
000 |
001 |
010 |
011 |
100 |
101 |
110 |
111 |
||||||
|
1 |
0 |
0 |
0 |
0 |
0 |
s1 |
s1 |
s1 |
s1 |
s1 |
s1 |
s1 |
s1 |
|
0 |
1 |
0 |
0 |
0 |
1 |
s2 |
s2 |
s6 |
s6 |
s1 |
s1 |
s1 |
s1 |
|
0 |
0 |
1 |
0 |
0 |
2 |
s4 |
s3 |
s5 |
s3 |
s4 |
s3 |
s6 |
s3 |
|
0 |
0 |
0 |
1 |
0 |
3 |
s4 |
s3 |
s5 |
s3 |
s4 |
s3 |
s6 |
s3 |
|
0 |
0 |
0 |
1 |
0 |
4 |
s5 |
s5 |
s5 |
s5 |
s6 |
s6 |
s6 |
s6 |
|
0 |
0 |
0 |
0 |
1 |
5 |
s4 |
s3 |
s4 |
s3 |
s4 |
s3 |
s6 |
s3 |
|
0 |
0 |
0 |
0 |
1 |
6 |
s0 |
s0 |
s7 |
s7 |
s0 |
s0 |
s7 |
s7 |
|
0 |
0 |
0 |
0 |
1 |
7 |
s0 |
s0 |
s7 |
s7 |
s0 |
s0 |
s7 |
s7 |
2.1.3. Тест автомата
|
|
|
0 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
13 |
|
вх |
x1x2x3 |
zzz |
1zz |
01z |
z1z |
z1z |
z0z |
zzz |
00z |
110 |
z0z |
zzz |
00z |
zz1 |
zz1 |
|
вых |
y0y1y2y3y4 |
y1 |
y1 |
y4 |
y4 |
y4 |
y0 |
y1 |
y2 |
y4 |
y0 |
y1 |
y2 |
y3 |
y3 |
|
|
|
14 |
15 |
16 |
17 |
18 |
19 |
20 |
21 |
22 |
23 |
24 |
25 |
26 |
27 |
|
вх |
x1x2x3 |
z00 |
0zz |
010 |
zz1 |
110 |
z0z |
zzz |
00z |
010 |
z00 |
1zz |
z0z |
zzz |
00z |
|
вых |
y0y1y2y3y4 |
y3 |
y4 |
y4 |
y3 |
y4 |
y0 |
y1 |
y2 |
y4 |
y3 |
y4 |
y0 |
y1 |
y2 |
|
|
|
28 |
29 |
30 |
31 |
32 |
33 |
|
|
|
|
|
|
|
|
|
вх |
x1x2x3 |
z00 |
0zz |
zz1 |
010 |
110 |
z0z |
|
|
|
|
|
|
|
|
|
вых |
y0y1y2y3y4 |
y3 |
y4 |
y3 |
y4 |
y4 |
y0 |
|
|
|
|
|
|
|
|
2.1.4. Кодирование
|
x1 |
x2 |
x3 |
pi |
|
0 |
0 |
0 |
p0 |
|
0 |
0 |
1 |
p1 |
|
0 |
1 |
0 |
p2 |
|
0 |
1 |
1 |
p3 |
|
1 |
0 |
0 |
p4 |
|
1 |
0 |
1 |
p5 |
|
1 |
1 |
0 |
p6 |
|
1 |
1 |
1 |
p7 |
-
y0
y1
y2
y3
y4
s
1
0
0
0
0
w0
0
1
0
0
0
w1
0
0
1
0
0
w2
0
0
0
1
0
w3
0
0
0
0
1
w4
