Другие предметы \ Теория дискретных устройств

Синтез автомата. Автомат задан таблицей переходов и таблицей выходов. Прокодированная таблица переходов

Страницы работы

Уважаемые коллеги! Предлагаем вам разработку программного обеспечения под ключ.

Опытные программисты сделают для вас мобильное приложение, нейронную сеть, систему искусственного интеллекта, SaaS-сервис, производственную систему, внедрят или разработают ERP/CRM, запустят стартап.

Сферы - промышленность, ритейл, производственные компании, стартапы, финансы и другие направления.

Языки программирования: Java, PHP, Ruby, C++, .NET, Python, Go, Kotlin, Swift, React Native, Flutter и многие другие.

Всегда на связи. Соблюдаем сроки. Предложим адекватную конкурентную цену.

Заходите к нам на сайт и пишите, с удовольствием вам во всем поможем.

Содержание работы

2. Синтез автомата.

Автомат задан таблицей переходов и таблицей выходов.

Таблица 1. Таблица переходов Таблица 2. Таблица выходов

a			a
	a1	a2		a1	a2
S			S
S0	S4	(S0)	S0	1	0
S1	S0	(S1)	S1	1	0
S2	(S2)	S3	S2	0	1
S3	(S3)	S4	S3	1	0
S4	S1	S2	S4	1	1

Прокодируем состояния автомата произвольным образом. (Для кодирования необходимо 3 переменные, т.к. 2³ = 8 > 5). Прокодированная таблица переходов будет выглядеть следующим образом:

Таблица 3. Прокодированная таблица переходов

a
	a1	a2
S
000	001	(000)
001	010	(001)
010	000	011
011	(011)	100
100	(100)	010

Из таблицы видно: при переходе из состояния S1 (010) в S2 (000) при входном воздействии а1, а также при переходе из S3 (011) в S4 (100) и из S4 (100) в S2 (010) при входном воздействии а2, возникают критические состязания. С целью исключения критических состязаний введём дополнительные состояния автомата:

S5 (101)

S6 (110)

S7 (111)

получим многотактные переходы при которых исключаются критические состязания:

(S1 ® S2)=(S1 ® S5 ® S7 ® S6 ® S2), при а1;

(S3 ® S4)=S3 ® S7 ® S5 ® S4, при а2;

(S4 ® S2)=S4 ® S6 ® S2, при а2.

Получим следующую таблицу:

Таблица 4: таблица переходов