«…лишь недалекие люди боятся конкуренции, а люди подлинного творчества ценят общение с каждым талантом…» А. Бек, Талант.

ПЦУСБ/Лабораторная работа 3 — различия между версиями

Материал из Wiki
Перейти к: навигация, поиск
(Новая страница: «{{ПЦУСБ TOC}} '''1''''''. Конечный автомат Мили'''. Алфавит внутренних состояний A = {a<sub>1</sub>, a<su…»)
 
м
Строка 1: Строка 1:
 
{{ПЦУСБ TOC}}
 
{{ПЦУСБ TOC}}
 +
 
 
 
 
  
Строка 9: Строка 10:
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| colspan="5" | Таблица функционирования конечного автомата Мили
 
| colspan="5" | Таблица функционирования конечного автомата Мили
Строка 52: Строка 53:
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| colspan="5" | Таблица функционирования конечного автомата Мили
 
| colspan="5" | Таблица функционирования конечного автомата Мили
Строка 95: Строка 96:
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| colspan="5" | Таблица функционирования конечного автомата Мили
 
| colspan="5" | Таблица функционирования конечного автомата Мили
Строка 138: Строка 139:
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| colspan="5" | Таблица функционирования конечного автомата Мили
 
| colspan="5" | Таблица функционирования конечного автомата Мили
Строка 169: Строка 170:
 
|}
 
|}
 
</center>
 
</center>
−
 
−
 
  
  
  
 
'''5. Конечный автомат Мили'''.
 
'''5. Конечный автомат Мили'''.
−
 
  
  
Строка 183: Строка 181:
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| colspan="5" | Таблица функционирования конечного автомата Мили
 
| colspan="5" | Таблица функционирования конечного автомата Мили
Строка 222: Строка 220:
  
 
Алфавит состояний A = {a<sub>1</sub>, a<sub>22</sub>, a<sub>3</sub>, a<sub>4</sub>}. Начальное состояние автомата a<sub>1</sub>. Входной алфавит Z = {z<sub>1</sub>, z<sub>2</sub>, z<sub>33</sub>}. Выходной алфавит W = {w<sub>1</sub>, w<sub>22</sub> ,w<sub>3</sub> ,w<sub>45</sub>, w<sub>5</sub>}.
 
Алфавит состояний A = {a<sub>1</sub>, a<sub>22</sub>, a<sub>3</sub>, a<sub>4</sub>}. Начальное состояние автомата a<sub>1</sub>. Входной алфавит Z = {z<sub>1</sub>, z<sub>2</sub>, z<sub>33</sub>}. Выходной алфавит W = {w<sub>1</sub>, w<sub>22</sub> ,w<sub>3</sub> ,w<sub>45</sub>, w<sub>5</sub>}.
−
 
−
 
  
  
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| colspan="5" | Таблица функционирования конечного автомата Мили
 
| colspan="5" | Таблица функционирования конечного автомата Мили
Строка 273: Строка 269:
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
−
| colspan="5" | Таблица функционирования
+
| colspan="5" | Таблица функционирования конечного автомата Мили
−
 
+
−
 
+
−
 
+
−
name="OLE_LINK1"конечного автомата Мили
+
 
|-
 
|-
 
| rowspan="2" | Входные сигналы 
 
| rowspan="2" | Входные сигналы 
Строка 308: Строка 300:
 
|}
 
|}
 
</center>
 
</center>
−
 
−
 
−
 
  
  
Строка 332: Строка 321:
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| rowspan="2" | Входные сигналы 
 
| rowspan="2" | Входные сигналы 
Строка 361: Строка 350:
 
| w<sub>11</sub>
 
| w<sub>11</sub>
 
| w<sub>22</sub>
 
| w<sub>22</sub>
−
| Выходные
+
| Выходные сигналы
−
 
+
−
 
+
−
 
+
−
сигналы
+
 
|}
 
|}
 
</center>
 
</center>
Строка 375: Строка 360:
 
Алфавит состояний B = {b<sub>1</sub>, b<sub>22</sub>, b<sub>3</sub>}. Начальное состояние автомата b<sub>1</sub>. Входной алфавит Q = {q<sub>1</sub>, q<sub>22</sub>, q<sub>3</sub>}. Выходной алфавит Y = {y<sub>1</sub>, y<sub>2</sub> ,y<sub>3</sub>}.
 
Алфавит состояний B = {b<sub>1</sub>, b<sub>22</sub>, b<sub>3</sub>}. Начальное состояние автомата b<sub>1</sub>. Входной алфавит Q = {q<sub>1</sub>, q<sub>22</sub>, q<sub>3</sub>}. Выходной алфавит Y = {y<sub>1</sub>, y<sub>2</sub> ,y<sub>3</sub>}.
  
−
 
−
 
−
 
−
 
−
Таблица функционирования
 
−
 
−
 
−
 
−
конечного автомата Мура
 
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
Таблица функционирования конечного автомата Мура
 +
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| rowspan="2" | Входные сигналы 
 
| rowspan="2" | Входные сигналы 
Строка 415: Строка 392:
 
| y<sub>3</sub>
 
| y<sub>3</sub>
 
| y<sub>1</sub>
 
| y<sub>1</sub>
−
| Выходные
+
| Выходные сигналы
−
 
+
−
 
+
−
 
+
−
сигналы
+
 
|}
 
|}
 
</center>
 
</center>
Строка 433: Строка 406:
  
  
−
 
+
Таблица функционирования конечного автомата Мура
−
 
+
−
 
+
−
 
+
−
Таблица функционирования
+
−
 
+
−
 
+
−
 
+
−
конечного автомата Мура
+
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| rowspan="2" | Входные сигналы 
 
| rowspan="2" | Входные сигналы 
Строка 473: Строка 438:
 
| y<sub>3</sub>
 
| y<sub>3</sub>
 
| y<sub>2</sub>
 
| y<sub>2</sub>
−
| Выходные
+
| Выходные сигналы
−
 
+
−
 
+
−
 
+
−
сигналы
+
 
|}
 
|}
 
</center>
 
</center>
Строка 491: Строка 452:
  
  
−
Таблица функционирования
+
Таблица функционирования конечного автомата Мура
−
 
+
−
 
+
−
 
+
−
конечного автомата Мура
+
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| rowspan="2" | Входные сигналы 
 
| rowspan="2" | Входные сигналы 
Строка 527: Строка 484:
 
| y<sub>3</sub>
 
| y<sub>3</sub>
 
| y<sub>2</sub>
 
| y<sub>2</sub>
−
| Выходные
+
| Выходные сигналы
−
 
+
−
 
+
−
 
+
−
сигналы
+
 
|}
 
|}
 
</center>
 
</center>
Строка 551: Строка 504:
  
  
−
Таблица функционирования
+
Таблица функционирования конечного автомата Мура
−
 
+
−
 
+
−
 
+
−
конечного автомата Мура
+
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| rowspan="2" | Входные сигналы 
 
| rowspan="2" | Входные сигналы 
Строка 587: Строка 536:
 
| y<sub>2</sub>
 
| y<sub>2</sub>
 
| y<sub>1</sub>
 
| y<sub>1</sub>
−
| Выходные
+
| Выходные сигналы
−
 
+
−
 
+
−
 
+
−
сигналы
+
 
|}
 
|}
 
</center>
 
</center>
Строка 607: Строка 552:
  
  
−
Таблица функционирования
+
Таблица функционирования конечного автомата Мура
−
 
+
−
 
+
−
 
+
−
конечного автомата Мура
+
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| rowspan="2" | Входные сигналы 
 
| rowspan="2" | Входные сигналы 
Строка 643: Строка 584:
 
| y<sub>3</sub>
 
| y<sub>3</sub>
 
| y<sub>1</sub>
 
| y<sub>1</sub>
−
| Выходные
+
| Выходные сигналы
−
 
+
−
 
+
−
 
+
−
сигналы
+
 
|}
 
|}
 
</center>
 
</center>
Строка 663: Строка 600:
  
  
−
Таблица функционирования
+
Таблица функционирования конечного автомата Мура
−
 
+
−
 
+
−
 
+
−
конечного автомата Мура
+
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| rowspan="2" | Входные сигналы 
 
| rowspan="2" | Входные сигналы 
Строка 699: Строка 632:
 
| w<sub>1</sub>
 
| w<sub>1</sub>
 
| w<sub>2</sub>
 
| w<sub>2</sub>
−
| Выходные
+
| Выходные сигналы
−
 
+
−
 
+
−
 
+
−
сигналы
+
 
|}
 
|}
 
</center>
 
</center>
Строка 720: Строка 649:
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| colspan="5" | Таблица задания функционирования конечного автомата
 
| colspan="5" | Таблица задания функционирования конечного автомата
Строка 765: Строка 694:
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| colspan="5" | Таблица задания функционирования конечного автомата
 
| colspan="5" | Таблица задания функционирования конечного автомата
Строка 810: Строка 739:
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| colspan="5" | Таблица задания функционирования конечного автомата
 
| colspan="5" | Таблица задания функционирования конечного автомата
Строка 845: Строка 774:
  
 
''18. Составить ''''VHDL''''-описание конечного автомата Мили, заданного совмещенной таблицей переходов. ''
 
''18. Составить ''''VHDL''''-описание конечного автомата Мили, заданного совмещенной таблицей переходов. ''
−
 
  
  
 
Алфавит состояний A = {a<sub>1</sub>, a<sub>2</sub>, a<sub>3</sub>, a<sub>4</sub>}. Начальное состояние автомата - a<sub>1</sub>. Входной алфавит Z образуют сигналы z<sub>1</sub>, z<sub>2</sub>, z<sub>3, </sub> т.е. Z = {z<sub>1</sub> , z<sub>2</sub> , z<sub>3</sub>}. Выходной алфавит W образуют сигналы w<sub>1</sub>, ..., w<sub>5</sub>, т.е. W = {w<sub>1</sub>, w<sub>2</sub> ,w<sub>3</sub> ,w<sub>4</sub>,w<sub>5</sub>}. На пересечении строки z<sub>n</sub> и столбца a<sub>q</sub> в таблице находится состояние a<sub>s</sub> , в которое должен перейти автомат из состояния a<sub>q</sub> под воздействием сигнала z<sub>n</sub>. После косой черты в этой же графе таблицы указывается выходной сигнал, выдаваемый автоматом в состоянии a<sub>q</sub> при поступлении на его вход сигнала z<sub>n</sub> .
 
Алфавит состояний A = {a<sub>1</sub>, a<sub>2</sub>, a<sub>3</sub>, a<sub>4</sub>}. Начальное состояние автомата - a<sub>1</sub>. Входной алфавит Z образуют сигналы z<sub>1</sub>, z<sub>2</sub>, z<sub>3, </sub> т.е. Z = {z<sub>1</sub> , z<sub>2</sub> , z<sub>3</sub>}. Выходной алфавит W образуют сигналы w<sub>1</sub>, ..., w<sub>5</sub>, т.е. W = {w<sub>1</sub>, w<sub>2</sub> ,w<sub>3</sub> ,w<sub>4</sub>,w<sub>5</sub>}. На пересечении строки z<sub>n</sub> и столбца a<sub>q</sub> в таблице находится состояние a<sub>s</sub> , в которое должен перейти автомат из состояния a<sub>q</sub> под воздействием сигнала z<sub>n</sub>. После косой черты в этой же графе таблицы указывается выходной сигнал, выдаваемый автоматом в состоянии a<sub>q</sub> при поступлении на его вход сигнала z<sub>n</sub> .
−
 
−
 
−
 
−
 
−
 
  
  
 
<center>
 
<center>
−
{| cellspacing="0" cellpadding="7" border="1"
+
{| cellspacing="0" cellpadding="3" border="1"
 
|-
 
|-
 
| colspan="5" | Таблица задания функционирования конечного автомата
 
| colspan="5" | Таблица задания функционирования конечного автомата

Версия 23:01, 23 октября 2013

Лекции ПЦУСБ
Лекции
Практические
Тесты
Лабораторные
Доп. материалы


'1'. Конечный автомат Мили.


Алфавит внутренних состояний A = {a1, a2, a3, a4}. Начальное состояние автомата a1. Входной алфавит Z = {z1, z2, z3}. Выходной алфавит W = {w1, w2 ,w3 ,w4, w5}.

Таблица функционирования конечного автомата Мили
Входные сигналы Состояния
a1 a2 a3 a4
z1 a3/w4 a2/w1 a1/w2 a1/w4
z2 a4/w5 a2/w3 a4/w3 a3/w3
z3 a3/w5 a3/w4 a1/w4 a3/w1


'2'. Конечный автомат Мили.


Алфавит внутренних состояний A = {a1, a2, a3, a4}. Начальное состояние автомата a1. Входной алфавит Z = {z1, z2, z3}. Выходной алфавит W = {w1, w2 ,w3 ,w4, w5}.


Таблица функционирования конечного автомата Мили
Входные сигналы Состояния
a1 a2 a3 a4
z1 a4/w4 a2/w1 a1/w2 a4/w4
z2 a4/w5 a1/w3 a3/w4 a3/w3
z3 a1/w2 a2/w4 a1/w4 a4/w1


3. Конечный автомат Мили.


Алфавит внутренних состояний A = {a1, a2, a3, a4}. Начальное состояние автомата a1. Входной алфавит Z = {z1, z2, z3}. Выходной алфавит W = {w1, w2 ,w3 ,w4, w5}.


Таблица функционирования конечного автомата Мили
Входные сигналы Состояния
a1 a2 a3 a4
z1 a1/w4 a3/w1 a1/w3 a1/w4
z2 a2/w5 a1/w3 a4/w3 a3/w3
z3 a3/w5 a4/w5 a1/w4 a4/w1


4. Конечный автомат Мили.


Алфавит внутренних состояний A = {a11, a2, a3, a4}. Начальное состояние автомата a1. Входной алфавит Z = {z1, z2, z3}. Выходной алфавит W = {w1, w2 ,w3 ,w44, w5}.


Таблица функционирования конечного автомата Мили
Входные сигналы Состояния
a11 a2 a3 a4
z1 a3/w5 a2/w1 a2/w2 a11/w5
z2 a4/w44 a2/w5 a4/w3 a3/w3
z3 a3/w5 a11/w44 a11/w44 a11/w5


5. Конечный автомат Мили.


Алфавит состояний A = {a1, a22, a3, a4}. Начальное состояние автомата a1. Входной алфавит Z = {z1 , z2 , z3}. Выходной алфавит W = {w1, w2 ,w33 ,w4, w5}.


Таблица функционирования конечного автомата Мили
Входные сигналы Состояния
a1 a22 a3 a4
z1 a3/w4 a22/w1 a1/w2 a1/w4
z2 a4/w4 a22/w33 a4/w33 a22/w33
z3 a3/w5 a1/w4 a1/w4 a3/w1


6. Конечный автомат Мили.


Алфавит состояний A = {a1, a22, a3, a4}. Начальное состояние автомата a1. Входной алфавит Z = {z1, z2, z33}. Выходной алфавит W = {w1, w22 ,w3 ,w45, w5}.


Таблица функционирования конечного автомата Мили
Входные сигналы Состояния
a1 a22 a3 a4
z1 a3/w22 a22/w1 a1/w1 a1/w45
z2 a4/w5 a4/w3 a4/w22 a3/w3
z33 a3/w22 a3/w45 a22/w45 a3/w1


7. Конечный автомат Мили.


Алфавит состояний A = {a11, a2, a3, a44}. Начальное состояние автомата a1. Входной алфавит Z = {z1, z2, z3}. Выходной алфавит W = {w1, w2 ,w3 ,w44, w5}.



Таблица функционирования конечного автомата Мили
Входные сигналы Состояния
a11 a2 a3 a44
z1 a3/w44 a2/w1 a11/w2 a11/w44
z2 a44/w5 a2/w5 a44/w3 a3/w2
z3 a3/w2 a44/w3 a11/w44 a3/w1



8. Конечный автомат Мура.


Алфавит состояний A = {a11, a2, a3}. Начальное состояние автомата a1. Входной алфавит Z = {z1, z22, z3}. Выходной алфавит W = {w11, w22 ,w33}.



Таблица функционирования


конечного автомата Мура

Входные сигналы Состояния
a11 a2 a3
z1 a3 a2 a11
z22 a11 a2 a3
z3 a3 a11 a3

w33 w11 w22 Выходные сигналы

9. Конечный автомат Мура.


Алфавит состояний B = {b1, b22, b3}. Начальное состояние автомата b1. Входной алфавит Q = {q1, q22, q3}. Выходной алфавит Y = {y1, y2 ,y3}.


Таблица функционирования конечного автомата Мура

Входные сигналы Состояния
b1 b22 b3
q1 b22 b1 b1
q22 b3 b22 b22
q3 b1 b3 b3

y2 y3 y1 Выходные сигналы


10. Конечный автомат Мура.


Алфавит состояний C = {c1, c2, c33}. Начальное состояние автомата c1. Входной алфавит Q = {q1, q2, q3}. Выходной алфавит Y = {y11, y2 ,y3}.


Таблица функционирования конечного автомата Мура

Входные сигналы Состояния
c1 c2 c33
q1 c2 c2 c1
q2 c2 c1 c2
q3 c33 c33 c33

y11 y3 y2 Выходные сигналы


11. Конечный автомат Мура.


Алфавит состояний C = {c1, c2, c33}. Начальное состояние автомата c1. Входной алфавит Q = {q1, q2, q3}. Выходной алфавит Y = {y11, y2 ,y3}.


Таблица функционирования конечного автомата Мура

Входные сигналы Состояния
c1 c2 c33
q1 c2 c2 c1
q2 c2 c1 c2
q3 c33 c33 c33

y11 y3 y2 Выходные сигналы



12. Конечный автомат Мура.


Алфавит состояний T = {t1, t22, t3}. Начальное состояние автомата t1. Входной алфавит Q = {q11, q2, q3}. Выходной алфавит Y = {y1, y2 ,y3}.




Таблица функционирования конечного автомата Мура

Входные сигналы Состояния
t1 t22 t3
q11 t3 t22 t1
q2 t22 t1 t22
q3 t1 t22 t3

y3 y2 y1 Выходные сигналы


13. Конечный автомат Мура.


Алфавит состояний S = {s11, s22, s3}. Начальное состояние автомата s1. Входной алфавит Z = {q1, q2, q33}. Выходной алфавит Y = {y1, y2 ,y3}.



Таблица функционирования конечного автомата Мура

Входные сигналы Состояния
s11 s22 s3
q1 s11 s11 s22
q2 s3 s11 s22
q33 s22 s22 s3

y2 y3 y1 Выходные сигналы


14. Конечный автомат Мура.


Алфавит состояний R = {r1, r2, r3}. Начальное состояние автомата r1. Входной алфавит Q = {q1, q2, q3}. Выходной алфавит W = {w1, w2 ,w3}.



Таблица функционирования конечного автомата Мура

Входные сигналы Состояния
r1 r2 r3
q1 r1 r3 r1
q2 r3 r2 r3
q3 r2 r2 r2

w3 w1 w2 Выходные сигналы



15. Составить 'VHDL'-описание конечного автомата Мили, заданного совмещенной таблицей переходов.


Алфавит состояний A = {a1, a2, a3, a4}. Начальное состояние автомата - a1. Входной алфавит Z образуют сигналы z1, z2, z3, т.е. Z = {z1 , z2 , z3}. Выходной алфавит W образуют сигналы w1, ..., w5, т.е. W = {w1, w2 ,w3 ,w4,w5}. На пересечении строки zn и столбца aq в таблице находится состояние as , в которое должен перейти автомат из состояния aq под воздействием сигнала zn. После косой черты в этой же графе таблицы указывается выходной сигнал, выдаваемый автоматом в состоянии aq при поступлении на его вход сигнала zn .


Таблица задания функционирования конечного автомата
Входные сигналы Состояния
a1 a2 a3 a4
z1 a2/w1 a2/w1 a1/w2 a1/w4
z2 a4/w5 a3/w3 a4/w4 a3/w5
z3 a3/w2 a3/w3 a1/w4 a3/w5



16. Составить 'VHDL'-описание конечного автомата Мили, заданного совмещенной таблицей переходов.


Алфавит состояний A = {a1, a2, a3, a4}. Начальное состояние автомата - a1. Входной алфавит Z образуют сигналы z1, z2, z3, т.е. Z = {z1 , z2 , z3}. Выходной алфавит W образуют сигналы w1, ..., w5, т.е. W = {w1, w2 ,w3 ,w4,w5}. На пересечении строки zn и столбца aq в таблице находится состояние as , в которое должен перейти автомат из состояния aq под воздействием сигнала zn. После косой черты в этой же графе таблицы указывается выходной сигнал, выдаваемый автоматом в состоянии aq при поступлении на его вход сигнала zn .


Таблица задания функционирования конечного автомата
Входные сигналы Состояния
a1 a2 a3 a4
z1 a3/w4 a2/w1 a1/w2 a1/w4
z2 a4/w5 a2/w3 a4/w3 a3/w3
z3 a3/w5 a3/w4 a1/w4 a3/w1



17. Составить 'VHDL'-описание конечного автомата Мили, заданного совмещенной таблицей переходов.


Алфавит состояний A = {a1, a2, a3, a4}. Начальное состояние автомата - a1. Входной алфавит Z образуют сигналы z1, z2, z3, т.е. Z = {z1 , z2 , z3}. Выходной алфавит W образуют сигналы w1, ..., w5, т.е. W = {w1, w2 ,w3 ,w4,w5}. На пересечении строки zn и столбца aq в таблице находится состояние as , в которое должен перейти автомат из состояния aq под воздействием сигнала zn. После косой черты в этой же графе таблицы указывается выходной сигнал, выдаваемый автоматом в состоянии aq при поступлении на его вход сигнала zn .


Таблица задания функционирования конечного автомата
Входные сигналы Состояния
a1 a2 a3 a4
z1 a4/w4 a2/w1 a1/w2 a4/w4
z2 a4/w5 a1/w3 a3/w4 a3/w3
z3 a1/w2 a2/w4 a1/w4 a4/w1


18. Составить 'VHDL'-описание конечного автомата Мили, заданного совмещенной таблицей переходов.


Алфавит состояний A = {a1, a2, a3, a4}. Начальное состояние автомата - a1. Входной алфавит Z образуют сигналы z1, z2, z3, т.е. Z = {z1 , z2 , z3}. Выходной алфавит W образуют сигналы w1, ..., w5, т.е. W = {w1, w2 ,w3 ,w4,w5}. На пересечении строки zn и столбца aq в таблице находится состояние as , в которое должен перейти автомат из состояния aq под воздействием сигнала zn. После косой черты в этой же графе таблицы указывается выходной сигнал, выдаваемый автоматом в состоянии aq при поступлении на его вход сигнала zn .


Таблица задания функционирования конечного автомата
Входные сигналы Состояния
a1 a2 a3 a4
z1 a1/w4 a3/w1 a1/w3 a1/w4
z2 a2/w5 a1/w3 a4/w3 a3/w3
z3 a3/w5 a4/w5 a1/w4 a4/w1
Источник — «http://www.simhard.com/wiki/index.php?title=ПЦУСБ/Лабораторная_работа_3&oldid=3113»