Автоматів суперпозиція

Матеріал з Вікіпедії — вільної енциклопедії.

Автома́тів суперпози́ція — двомісна операція, що дає по парі автоматів <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))

[ред.] Див. також

  • Автоматів композиції.

[ред.] Література