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

(Перенаправлено з Автоматів пряма сума)

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

, у якому вхідний вихідний алфавіти кожного автомата однакові, а множини станів попарно не перетинаються.

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

, у якому

і значення функцій переходів


і виходів і збігаються із значеннями і автомата що містить стан .


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

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