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

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

С = (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

XS	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
XU	u1	u1	u3	u3	u2	u2
x1	y1	y1	y2	y1	y2	y2
x2	y2	y1	y1	y2	y1	y1