![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Задано автомати A1 = (S1, X1, Y1, d1, l1, {s01}) і A2 = (S2, X2, Y2, d2, l2, {s02}) і КС (автомат з одним станом) A3 = ({X3´X4}, {s03}, Y3, l3).
У випадку з'єднання зі зворотним зв'язком принаймні один з автоматів A1 чи A2 повинен бути автоматом Мура, інакше стабільність системи не гарантується, тому що інакше буде Y(t) = fc(S(t)(X(t)´Y(t))), що приводить до виникнення генерації.
Рис. 20.3. З'єднання автоматів зі зворотним зв'язком
Визначення. Нехай A2 – автомат Мура. Результуючим автоматом з'єднання двох автоматів зі зворотним зв'язком називається автомат A = (S, X, Y, d, l, {s0}), у якого
1. S = S1´S2
2. X = pr1X3
3. Y2 = pr2X3
4. Y = Y1 = X2
5. Y3 = X1
6. d: S´X®S і визначається в такий спосіб:
d(S´X) = (d1(S1´X1), (d2(S2´X2)) чи d(S´X) = {s=d(s’, x)Î
Îd(S´X)| s'= <s1’, s2’ > & s= <s1, s2> & xÎX & s1 =
=d1(s1’, l3(x, l2(s2’))) & s2=d2(s2’, l1(s1’, l3(x, l2(s2’))))}
7. l: S´X®Y і визначається так:
l(S´X)=l1(S1´l3(X´l2(S2))) чи l(S´X)={y=l(s’, x)Îl(S, X)| s'=<s1’, s2’> & xÎX & y=l1(s1’, l3(x, l2(s2’)))}
8. s0 = <s01, s02 >.
Приклад. Задані два автомати A1 – Мілі. A1 = (S1, X1, Y1,d 1, l1, {S01}),
A2 – Мура A2 = (S2, X2, Y2,d 2, l2, {S02}).
Функція переходів-виходів автомата Мілі d1:S1´X®S1; l1:S1´X®Y1:
Таблиця 20.8
X1\S1 | s11 | s12 | s13 |
x11 | s13/y11 | s12/y12 | s13/y11 |
x12 | s12/y13 | s11/y11 | s11/y12 |
Функція переходів-виходів автомата Мура d2:S2´X®S2 ; l2:S2®Y2:
Таблиця 20.9
S2/Y2 X2 | s21 | s22 |
y21 | y22 | |
x21 | s21 | s22 |
x22 | s22 | s22 |
x23 | s21 | s21 |
КС – автомат без пам'яті A3 перетворить l3 :X´Y2®Y3=X1
(табл. 26.10). A3=(S3 = {s03}, {X´Y2}, Y3=X1, d3(S3´{X´Y2})={s0}, l3(S3´{X´ Y2}), {s03})
Таблиця 20.10
Y2\X | x1 | x2 | x3 |
Y21 | x11 | x11 | x11 |
Y22 | x12 | s12 | x11 |
Автомат А має X={x1,x2,x3}, Y={y1,y2,y3}, S=S1´S2={<s11,s21>, <s11,s22>, <s12,s21>, <s12,s22>, <s13,s21>, <s13,s21>}={s1,s2,s3,s4,s5,s6}.
Функція переходів d:S´X®S
Таблиця 20.11
S/S1´S2 X | s1 | s2 | s3 | s4 | s5 | s6 |
<s11,s21> | < s11,s22> | <s12,s21> | <s12,s22> | <s13,s21> | <s13,s22> | |
x1 | s5/s13s21 | s3/s12s21 | s4/s12s22 | s4/s12s22 | s5/s13s21 | s2/s11s22 |
x2 | s5/s13s21 | s3/s12s21 | s4/s12s22 | s2/s11s22 | s5/s13s21 | s2/s11s22 |
x3 | s5/s13s21 | s6/s13s22 | s5/s13s12 | s6/s13s22 | s5/s13s21 | s6/s13s21 |
Функція виходів l:S´X®Y
Таблиця 20.12
S/S1´S2 X | s1 | s2 | s3 | s4 | s5 | s6 |
<s11s21> | < s11s22> | <s12 21> | <s12 s22> | <s13 s21> | <s13 s22> | |
x1 | y1/y11y21 | y3/y13y22 | y2/y12y21 | y1/y11y22 | y1/y11y21 | y2/y12y22 |
x2 | y1/y11y21 | y3/y13y22 | y2/y12y21 | y1/y11y22 | y1/y11y21 | y2/y12y22 |
x3 | y1/y11y21 | y1/y11y22 | y2/y12y21 | y2/y12y22 | y1/y11y21 | y1/y11y22 |
Початковий стан для А s0=<s01, s02>.
Дата публикования: 2014-11-18; Прочитано: 337 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!