Синхронні й асинхронні автомати. Асинхронні тактуємі автомати

Задачі

Визначити, чи є асинхронним автомат Мура, заданий на рис. 5.3.а, якщо ні, то який максимальний підавтомат таким є.

Визначити, чи є асинхронними автомати Мілі, задані:

на рисунку 5.1.;

у табл. 5.1.;

на рисунку 5.2.;

на рисунку 5.3.б;

на рисунку 5.4..

Побудувати асинхронний тактуємий автомат, що описує дії ліфта в триповерховому будинку. Три стани ліфта відповідають його перебуванню на поверхах, входами є кнопки на поверхах, а також сигнал про те, що жодна з кнопок не натиснута. Виходами є сигнали, що визначають рух нагору, вниз і зупинку. Передбачається, що одночасно може бути натиснута тільки одна кнопка і до досягнення ліфтом потрібного поверху вхід не змінюється.

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

Побудувати асинхроний тактуемий автомат для ліфта, описаного в задачі 3, за умови, що всі команди (натискання кнопок) повинні запам'ятовуватися і відповідно до порядку натискання виконуватися.

Перетворення автоматів Мілі і Мура

Задачі

Перетворити автомат Мура (табл. 5.2.) в автомат Мілі. Побудувати відсутні таблицю переходів-виходів, графи і матриці з'єднань.

Таблиця 5.2

S X Y	S1 y1	s2 y2	s3 y1
x1	S2	s1	s3
x2	S1	s3	s2
x3	S3	s3	s1

Перетворити автомат Мілі (табл. 5.3.) в автомат Мура. Побудувати відсутні таблицю переходів-виходів, графи і матриці з'єднань.

Таблиця 5.3

S X	s1	s2	S3
x1	s2/y1	S1/y1	s3/y2
x2	s1/y2	S3/y1	s2/y2
x3	s3/y2	S3/y2	s1/y1

Довести чи спростувати можливість перетворення:

автомата Мура (рис. 5.3.а) в автомат Мілі (рис. 5.3.б);

автомата Мілі (рис. 5.3.б) в автомат Мура (рис. 5.3.а);

автомата Мілі (табл. 5.4.) в автомат Мура (табл. 5.5.);

автомата Мура (табл. 5.5.) в автомат Мілі (табл. 5.4.).

Таблиця 5.4

S X	s1	s2	s3
x1	s2/y1	S1/y1	s3/y2
x2	s1/y2	S3/y2	s2/y1
x3	s3/y2	S3/y2	s1/y1

Таблиця 5.5

S X Y	s1 y1	s2 y1	s3 y2	s4 y2
X1	s2	S1	s3	s2
X2	s1	S3	s2	s1
X3	s3	S3	s1	s3