Певзнер Д.Я., гр. И491
Домашняя работа №20 «Формирование функций выходов и
функций возбуждения памяти конечных автоматов»
Вариант 6
В результате противогоночного кодирования были сформированы следующие таблицы переходов и выходов автомата:
Таблица переходов δ(q,x)
X\q |
0100 |
1110 |
1111 |
0111 |
0101 |
1000 |
1001 |
0001 |
00 |
0100 |
1111 |
1111 |
0100 |
0100 |
1000 |
0001 |
0001 |
01 |
0100 |
1110 |
0111 |
0111 |
0100 |
1001 |
1001 |
0100 |
10 |
1000 |
1111 |
1111 |
0101 |
0101 |
1000 |
0001 |
0001 |
11 |
1110 |
1110 |
0111 |
0111 |
0101 |
1001 |
1001 |
0101 |
Таблица выходов λ(q,x)
X\q |
0100 |
1110 |
1111 |
0111 |
0101 |
1000 |
1001 |
0001 |
00 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
01 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
10 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
11 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
В качестве элементов памяти применим R-S-триггеры на элементах И-НЕ:
Таблица переходов R-S-триггера:
S |
R |
Qn+1 |
|
Qn=0 |
Qn=1 |
||
1 0 1 0 |
1 1 0 0 |
0 1 0 * |
1 1 0 * |
Функция входов R-S-триггера: Преобразованная функция входов R-S-триггера:
qисх |
φSφR |
qкон |
0 0 1 1 |
11∨10 01 10 11∨01 |
0 1 0 1 |
qисх |
φSφR |
qкон |
0 0 1 1 |
1* 01 10 *1 |
0 1 0 1 |
Составим таблицу формирования функций возбуждения элементов памяти автомата:
X |
q0 |
q1 |
q2 |
q3 |
q4 |
q5 |
q6 |
q7 |
0100 |
1110 |
1111 |
0111 |
0101 |
1000 |
1001 |
0001 |
|
00 |
0100 |
1111 |
1111 |
0100 |
0100 |
1000 |
0001 |
0001 |
1**11*1* |
*1*1*101 |
*1*1*1*1 |
1**11010 |
1**11*10 |
*11*1*1* |
101*1**1 |
1*1*1**1 |
|
01 |
0100 |
1110 |
0111 |
0111 |
0100 |
1001 |
1001 |
0100 |
1**11*1* |
*1*1*11* |
10*1*1*1 |
1**1*1*1 |
1**11*10 |
*11*1*01 |
*11*1**1 |
1*011*10 |
|
10 |
1000 |
1111 |
1111 |
0101 |
0101 |
1000 |
0001 |
0001 |
01101*1* |
*1*1*101 |
*1*1*1*1 |
1**110*1 |
1**11**1 |
*11*1*1* |
101*1**1 |
1*1*1**1 |
|
11 |
1110 |
1110 |
0111 |
0111 |
0101 |
1001 |
1001 |
0101 |
01*1011* |
*1*1*11* |
10*1*1*1 |
1**1*1*1 |
1**11**1 |
*11*1*01 |
*11*1**1 |
1*011**1 |
Построим таблицу истинности функций выходов и функций возбуждения памяти автомата:
q |
x1 |
x2 |
τ1 |
τ2 |
τ3 |
τ4 |
Y |
φ1S |
φ1R |
φ2S |
φ2R |
φ3S |
φ3R |
φ4S |
φ4R |
0 1 2 3 4 5 6 7 |
0 0 0 0 0 0 0 0 |
0 0 0 0 0 0 0 0 |
0 1 1 0 0 1 1 0 |
1 1 1 1 1 0 0 0 |
0 1 1 1 0 0 0 0 |
0 0 1 1 1 0 1 1 |
0 1 1 0 0 0 1 1 |
1 * * 1 1 * 1 1 |
* 1 1 * * 1 0 * |
* * * * * 1 1 1 |
1 1 1 1 1 * * * |
1 * * 1 1 1 1 1 |
* 1 1 0 * * * * |
1 0 * 1 1 1 * * |
* 1 1 0 0 * 1 1 |
0 1 2 3 4 5 6 7 |
0 0 0 0 0 0 0 0 |
1 1 1 1 1 1 1 1 |
0 1 1 0 0 1 1 0 |
1 1 1 1 1 0 0 0 |
0 1 1 1 0 0 0 0 |
0 0 1 1 1 0 1 1 |
0 0 1 1 0 0 1 0 |
1 * 1 1 1 * * 1 |
* 1 0 * * 1 1 * |
* * * * * 1 1 0 |
1 1 1 1 1 * * 1 |
1 * * * 1 1 1 1 |
* 1 1 1 * * * * |
1 1 * * 1 0 * 1 |
* * 1 1 0 1 1 0 |
0 1 2 3 4 5 6 7 |
1 1 1 1 1 1 1 1 |
0 0 0 0 0 0 0 0 |
0 1 1 0 0 1 1 0 |
1 1 1 1 1 0 0 0 |
0 1 1 1 0 0 0 0 |
0 0 1 1 1 0 1 1 |
0 1 1 0 0 0 1 1 |
0 * * 1 1 * 1 1 |
1 1 1 * * 1 0 * |
1 * * * * 1 1 1 |
0 1 1 1 1 * * * |
1 * * 1 1 1 1 1 |
* 1 1 0 * * * * |
1 0 * * * 1 * * |
* 1 1 1 1 * 1 1 |
0 1 2 3 4 5 6 7 |
1 1 1 1 1 1 1 1 |
1 1 1 1 1 1 1 1 |
0 1 1 0 0 1 1 0 |
1 1 1 1 1 0 0 0 |
0 1 1 1 0 0 0 0 |
0 0 1 1 1 0 1 1 |
0 0 1 1 0 0 1 0 |
0 * 1 1 1 * * 1 |
1 1 0 * * 1 1 * |
* * * * * 1 1 0 |
1 1 1 1 1 * * 1 |
0 * * * 1 1 1 1 |
1 1 1 1 * * * * |
1 1 * * * 0 * * |
* * 1 1 1 1 1 1 |
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.