АВТОМАТОВ ПРЯМАЯ СУММА
— операция, применяемая к множеству автоматов
в котором входной и выходной алфавиты каждого автомата
; одинаковы, а мн-ва состояний
попарно не пересекаются. Результатом операции является автомат
в котором
и значения ф-ций переходов
и выходов
совпадают со значениями
автомата
содержащего состояние а. См. Автоматов композиции.
