135822 (722661), страница 6
Текст из файла (страница 6)
| 4 | q1 | q2 | q3 | q4 |
| 0 | 0 | 1 | 1 | |
| 5 | q1 | q2 | q4 | q4 |
| 0 | 0 | 1 | 1 | |
| 6 | q1 | q2 | q5 | q5 |
| 0 | 0 | 1 | 1 |
| 7 | q2 | q2 | q3 | q4 |
| 0 | 0 | 1 | 1 | |
| 8 | q2 | q2 | q4 | q4 |
| 0 | 0 | 1 | 1 | |
| 9 | q2 | q2 | q5 | q5 |
| 0 | 0 | 1 | 1 |
| 10 | q3 | q4 | q5 | q5 | ||
| 1 | 1 | 1 | 1 | |||
| 1 | 0 | 0 | 0 | τ4 | ||
| 1 | 1 | 0 | 0 | τ5 | ||
| 11 | q4 | q4 | q5 | q5 | ||
| 1 | 1 | 1 | 1 | |||
| 0 | 0 | 0 | 0 | τ4 | ||
| 1 | 1 | 0 | 0 | τ5 | ||
Развязывание переходов без τ1, τ2, τ3 не уменьшает сложность. Получаем:
| τ3 | τ4 | τ5 | |
| q0 | 0 | 0 | 0 |
| q1 | 0 | 1 | 0 |
| q2 | 0 | 1 | 1 |
| q3 | 1 | 1 | 1 |
| q4 | 1 | 0 | 1 |
| q5 | 1 | 0 | 0 |
В дальнейшем используем исходную таблицу:
| τ1 | τ2 | τ3 | |
| q0 | 0 | 0 | 0 |
| q1 | 1 | 0 | 0 |
| q2 | 1 | 1 | 0 |
| q3 | 1 | 1 | 1 |
| q4 | 0 | 1 | 1 |
| q5 | 0 | 0 | 1 |
Таблица переходов структурного автомата:
| 000 | 100 | 110 | 111 | 011 | 001 | |
| 00 | 000 | 100 | 111 | 111 | 000 | 000 |
| 01 | 000 | 110 | 110 | 011 | 011 | 000 |
| 10 | 100 | 100 | 111 | 111 | 001 | 001 |
| 11 | 110 | 110 | 110 | 011 | 011 | 001 |
Таблица выходов структурного автомата:
| 000 | 100 | 110 | 111 | 011 | 001 | |
| 00 | 0 | 0 | 1 | 1 | 1 | 0 |
| 01 | 0 | 0 | 0 | 1 | 0 | 0 |
| 10 | 0 | 0 | 1 | 1 | 0 | 0 |
| 11 | 0 | 0 | 0 | 1 | 1 | 0 |
Формирование функций выходов и функций возбуждения памяти автомата
Таблица переходов RS-триггера
| S | R | Q T S R    | |
| 0 | 1 | ||
| 1 0 1 0 | 1 1 0 0 | 0 1 0 x | 1 1 0 x |
Функция входов RS-триггера Преобразованная функция входов
| qисх | S R | qкон |
| 0 0 1 1 | 11 v 10 01 10 11 v 01 | 0 1 0 1 |
| qисх | S R | qкон |
| 0 0 1 1 | 1 * 0 1 1 0 * 1 | 0 1 0 1 |
Функция возбуждения памяти автомата при синтезе на RS-триггерах
| 000 | 100 | 110 | 111 | 011 | 001 | |
| 00 | 1*1*1* | *11*1* | *1*101 | *1*1*1 | 1*1010 | 1*1*10 |
| 01 | 1*1*1* | *1011* | *1*11* | 10*1*1 | 1**1*1 | 1*1*10 |
| 10 | 011*1* | *11*1* | *1*101 | *1*1*1 | 1*10*1 | 1*1**1 |
| 11 | 01011* | *1011* | *1*11* | 10*1*1 | 1**1*1 | 1*1**1 |
Функция выходов y = f (x1, x2, τ1, τ2, τ3)
Функция возбуждения U = f (x1, x2, τ1, τ2, τ3) (S1, R1, S2, R2, S3, R3)
Таблица истинности функции выходов и функции возбуждения памяти конечного автомата.
| x1 | x2 | τ1 | τ2 | τ3 | y | S1 | R1 | S2 | R2 | S3 | R3 |
| 0 0 0 0 0 0 | 0 0 0 0 0 0 | 0 1 1 1 0 0 | 0 0 1 1 1 0 | 0 0 0 1 1 1 | 0 0 1 1 1 0 | 1 * * * 1 1 | * 1 1 1 * * | 1 1 * * 1 1 | * * 1 1 0 * | 1 1 0 * 1 1 | * * 1 1 0 0 |
| 0 0 0 0 0 0 | 1 1 1 1 1 1 | 0 1 1 1 0 0 | 0 0 1 1 1 0 | 0 0 0 1 1 1 | 0 0 0 1 0 0 | 1 * * 1 1 1 | * 1 1 0 * * | 1 0 * * * 1 | * 1 1 1 1 * | 1 1 1 * * 1 | * * * 1 1 0 |
| 1 1 1 1 1 1 | 0 0 0 0 0 0 | 0 1 1 1 0 0 | 0 0 1 1 1 0 | 0 0 0 1 1 1 | 0 0 1 1 0 0 | 0 * * * 1 1 | 1 1 1 1 * * | 1 1 * * 1 1 | * * 1 1 0 * | 1 1 0 * * * | * * 1 1 1 1 |
| 1 1 1 1 1 1 | 1 1 1 1 1 1 | 0 1 1 1 0 0 | 0 0 1 1 1 0 | 0 0 0 1 1 1 | 0 0 0 1 1 0 | 0 * * 1 1 1 | 1 1 1 0 * * | 0 0 * * * 1 | 1 1 1 1 1 * | 1 1 1 * * * | * * * 1 1 1 |
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
