Розв’язок поставленої задачі

1. Сумісна таблиця переходів-виходів заданого скінченого автомата

X S	0	1	2	3
0	1/2	0/3	1/0	0/1
1	1/3	2/2	2/0	1/1
2	3/0	2/1	1/2	3/3
3	2/3	3/2	1/3	0/2

2. Перетворимо початкову таблицю в спеціальну форму з виділенням вхідних-вихідних станів і внутрішніх станів.

Входи	X(n)	0	0	0	0	1	1	1	1	2	2	2	2	3	3	3	3
Поточний стан	S(n)	0	1	2	3	0	1	2	3	0	1	2	3	0	1	2	3
Наступний стан	S(n+1)	1	0	1	0	1	2	2	1	3	2	1	3	2	3	1	0
Виходи	Y(n)	2	3	0	1	3	2	0	1	0	1	2	3	3	2	3	2

3. Представимо граф скінченого автомату.

4.Замінив десяткові числа на двійкові, отримаємо таблицю істинності заданого скінченого автомата.

X(n)		S(n)		S(n+1)		Y(n)
X1(n)	X2(n)	S1(n)	S2(n)	S1(n+1)	S2(n+1)	Y1(n)	Y1(n)
0	0	0	0	0	1	1	0
0	0	0	1	0	0	1	1
0	0	1	0	0	1	0	0
0	0	1	1	0	0	0	1
0	1	0	0	0	1	1	1
0	1	0	1	1	0	1	0
0	1	1	0	1	0	0	0
0	1	1	1	0	1	0	1
1	0	0	0	1	1	0	0
1	0	0	1	1	0	0	1
1	0	1	0	0	1	1	0
1	0	1	1	1	1	1	1
1	1	0	0	1	0	1	1
1	1	0	1	1	1	1	0
1	1	1	0	0	1	1	1
1	1	1	1	0	0	1	0

5. Досконала диз’юнктивна нормальна форма складових функцій заданого скінченого автомата має наступний вигляд:

6. Мінімізація ДДНФ складових функцій скінченого автомата за допомогою карт Карно:

6.1. Функція S₁(n+1)

X1(n), X2(n) S1(n),S2(n)	00	01	11	10
00	0	0	1	1
01	0	1	1	1
11	0	0	0	1
10	0	1	0	0

6.2. Функція S₂(n+1)

X1(n),X2(n) S1(n),S2(n)	00	01	11	10
00	1	1	0	1
01	0	0	1	0
11	0	1	0	1
10	1	0	1	1

6.3. Функція Y₁(n)

X1(n),X2(n) S1(n),S2(n)	00	01	11	10
00	1	1	1	0
01	1	1	1	0
11	0	0	1	1
10	0	0	1	1

6.4. Функція Y₂(n)

S1(n),S2(n) X1(n),X2(n)	00	01	11	10
00	0	1	1	0
01	1	0	0	1
11	1	1	0	1
10	0	0	1	0

7. Зобразимо структурну та комбінаційну схему заданого скінченого автомату.

Висновок: таким чином, синтезований скінчений автомат містить у собі 4 елементи «ні», 4 елементи «або», 18 елементів «і» та 2 елементи пам’яті.

РОЗДІЛ ІІІ

Дослідження методик представлення операторів інтегрованого середовища Turbo Pascal за допомогою КВ-граматики та нормальної форми Бєкуса.