Министерство общего и профессионального образования Российской Федерации.
Уфимский Государственный Авиационный Технический Университет.
Исследование и логическое проектирование конечного частично определённого автомата
Курсовая работа по дисциплине
«Математические основы дискретно-логических систем»
Группа |
АТП |
|
|
Студент |
(подпись) |
(дата) |
_____________ (Ф. И. О.) |
Консультант |
|
|
Мугафаров М. Ф. |
Принял |
|
|
Мугафаров М. Ф. |
Ишимбай 2008 год
Выполняем исследование и логическое проектирование конечного частично определенного автомата до данным, приведённым в таблице:
x[τ]/ q[τ] |
X1 |
X2 |
X3 |
q1 |
*/0 |
q9/1 |
q11/1 |
q2 |
*/* |
q10/1 |
q12/1 |
q3 |
q9/1 |
q11/1 |
q5/* |
q4 |
q10/1 |
q12/1 |
q6/* |
q5 |
q11/1 |
q5/* |
q7/* |
q6 |
q12/1 |
q6/* |
q8/0 |
q7 |
q1/* |
q7/* |
*/0 |
q8 |
q2/* |
q8/0 |
*/0 |
q9 |
q3/* |
*/0 |
*/0 |
q10 |
q4/0 |
*/0 |
*/* |
q11 |
*/0 |
*/0 |
q9/1 |
q12 |
*/0 |
*/* |
q10/1 |
Для этого:
1) составить таблицу поведения автомата и нарисовать граф;
2) произвести кодирование;
3) составить систему булевых функций для возбуждения JK-триггеров, реализующих функцию ψ;
4) определить булеву функцию для реализации функции φ;
5) составить логическую схему автомата, используя комбинационные автоматы и JK-триггеры.
1) Составим таблицу поведения автомата и изобразим граф
x[τ]/ q[τ] |
X1 |
X2 |
X3 |
q1 |
*/0 |
q9/1 |
q11/1 |
q2 |
*/* |
q10/1 |
q12/1 |
q3 |
q9/1 |
q11/1 |
q5/* |
q4 |
q10/1 |
q12/1 |
q6/* |
q5 |
q11/1 |
q5/* |
q7/* |
q6 |
q12/1 |
q6/* |
q8/0 |
q7 |
q1/* |
q7/* |
*/0 |
q8 |
q2/* |
q8/0 |
*/0 |
q9 |
q3/* |
*/0 |
*/0 |
q10 |
q4/0 |
*/0 |
*/* |
q11 |
*/0 |
*/0 |
q9/1 |
q12 |
*/0 |
*/* |
q10/1 |
|
q[τ+1]/q[τ] |
q1 |
q2 |
q3 |
q4 |
q5 |
q6 |
q7 |
q8 |
q9 |
q10 |
q11 |
q12 |
q1 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x2/1 |
x1/0 |
x3/1 |
x1/0 |
q2 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
x2/1 |
- |
x3/1 |
q3 |
- |
- |
- |
- |
x3/* |
- |
- |
- |
x1/1 |
- |
x2/1 |
- |
q4 |
- |
- |
- |
- |
- |
x3/* |
- |
- |
- |
x1/1 |
- |
x2/1 |
q5 |
- |
- |
- |
- |
x2/* |
- |
x3/* |
- |
- |
- |
x1/1 |
- |
q6 |
- |
- |
- |
- |
- |
x2/* |
- |
x3/0 |
- |
- |
- |
x1/1 |
q7 |
x1/* |
x3/0 |
x3/0 |
x3/0 |
x3/0 |
x3/0 |
x2/* |
x3/0 |
x3/0 |
x3/0 |
x3/0 |
x3/0 |
q8 |
x3/0 |
x1/* |
x3/0 |
x3/0 |
x3/0 |
x3/0 |
x3/0 |
x2/0 |
x3/0 |
x3/0 |
x3/0 |
x3/0 |
q9 |
х2۷х3/0 |
х2۷х3/0 |
x1/* |
х2۷х3/0 |
х2۷х3/0 |
х2۷х3/0 |
х2۷х3/0 |
х2۷х3/0 |
х2۷х3/0 |
х2۷х3/0 |
х2۷х3/0 |
х2۷х3/0 |
q10 |
x2/0 |
x2/0 |
x2/0 |
x1/0 |
x2/0 |
x2/0 |
x2/0 |
x2/0 |
x2/0 |
x2/0 |
x2/0 |
x2/0 |
q11 |
х2۷х1/0 |
х2۷х1/0 |
х2۷х1/0 |
х2۷х1/0 |
х2۷х1/0 |
х2۷х1/0 |
х2۷х1/0 |
х2۷х1/0 |
x3/1 |
х2۷х1/0 |
х2۷х1/0 |
х2۷х1/0 |
q12 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x1/0 |
x3/1 |
x1/0 |
x1/0 |