Автоматів суперпозиція
Матеріал з Вікіпедії — вільної енциклопедії.
Автома́тів суперпози́ція — двомісна операція, що дає по парі автоматів <A1, X1, Н1, δ1, λ1>, <A2, X2, Y2, δ2, λ2>, де вихідний алфавіт першого автомата збігається з вхідним алфавітом другого, автомат <A, X1, Y2, δ, λ>, в якому
A= A2 × A1, δ(<a2, a1>, x)= <δ2( a2, λ1(a1, x)), δ1(a1, x)>
і λ (<a2, a1, x>)=λ2(a2, λ1( a1, x))
[ред.] Див. також
- Автоматів композиції.