Сполучена модель автоматів – С-автомат

Визначення. Під абстрактним С-автоматом розуміється математична модель дискретного пристрою, що задається вісімкою вигляду

С = (S, X, Y, U, d, l₁, l₂, {s₀ }),

де S – множина внутрішніх станів, Х – вхідний алфавіт,
Y – вихідний алфавіт першого типу, U – вихідний алфавіт другого типу, d -функція переходів d:S´X®S; l₁ - функція виходів першого типу l₁:S´X®Y; l₂ - функція виходів другого типу l₂:S®U,
S₀ – множина початкових станів.

Сполучений С-автомат представляється у вигляді пристрою з одним входом і двома виходами (рис. 19.7.).

Рис. 19.7. Сполучений автомат С = (S, X, Y, U, d, l₁, l₂, {s₀})

Відмінність С-автомата від автоматів Мілі і Мура полягає в тому, що він реалізує функції переходів і виходів, що були властиві їм окремо.
С-автомат представляється рівняннями системи:

s(t+1) = d(s(t), x(t))

y(t) = l₁(s(t), x(t))

u(t+1) = l₂(s(t))

де t = 0,1,2,…... Від С-автомата легко перейти до еквівалентних автоматів Мілі і Мура і навпаки.

Для завдання С-автомата використовуються також табличний і графічний способи.

Приклад. Таблиці переходів і виходів С-автомата d:S´X®S

Таблиця 19.3

X\S	s1	s2	s3	s4	s5	s6
x1	s6	s6	s4	s3	s4	s1
x2	s4	s3	s5	s5	s5	s2

Таблиця 19.4

S	s1	s2	S3	s4	s5	s6
X\U	u1	u1	u3	u3	u2	u2
x1	y1	y1	y2	y1	y2	y2
x2	y2	y1	y1	y2	y1	y1

Контрольні запитання

1. Що є стійким станом автомата?

2. Якій автомат Мура є синхронним, а якій асинхронним?

3. Що є стійким виходом автомата Мілі?

4. Якій автомат Мілі є синхронним, а якій асинхронним?

5. Які автомати можуть називатися еквівалентними?

6. Які умови задовольняють асинхронні автомати, що тактуються?

7. Як перетворити автомат Мура в автомат Мілі?

8. Що необхідно виконати для перетворення автоматів Мура і Мілі при графічному способі завдання?

9. Що необхідно виконати для перетворення автоматів Мура і Мілі при табличному способі завдання?

10. Як перетворити автомат Мілі в автомат Мура?

11. Що є розщепленням стану автомата Мілі?

12. Що необхідно виконати для перетворення автоматів Мілі і Мура при графічному способі завдання?

13. Що необхідно виконати для перетворення автоматів Мілі і Мура при табличному способі завдання?

14. Що є сполученою моделлю автомата – С-автоматом?

15. Яка відмінність сполученої моделі автомата від автоматів Мілі та Мура?

16. Як використати граф та таблицю для завдання сполученої моделі?