Пряма сума автоматів

Пряма́ су́ма автома́тів  — операція, що вживається до множини автоматів.

${𝔘}_i=<A_i,X,Y,{\delta }_i,{\lambda }_i>$, у якому вхідний вихідний алфавіти кожного автомата ${𝔘}_i$ однакові, а множини станів $A_i$ попарно не перетинаються.

Результатом операції є автомат

${𝔘}_i=<A_i,X,Y,\delta \lambda >$, у якому

$A={𝔘}_i{A}_i$ і значення функцій переходів $\delta (a,x)$

і виходів $\lambda (a,x)$ і збігаються із значеннями ${\delta }_i(a,x)$ і ${\lambda }_i(a,x)$ автомата ${𝔘}_i$ що містить стан $a$.

Див. також

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

Література

• Шаблон:ЕК