АВТОМАТА МАТРИЦА ПЕРЕХОДОВ
— один из способов задания конечного абстрактного автомата. Для автомата А, имеющего
состояний, А.
представляет собой квадратную матрицу порядка
. Пусть
- множество состояний автомата А, а
соответственно входной и выходной алфавиты. В случае
всегда обозначает начальное состояние. Элементом 
матрицы 
является множество пар вида 
таких, что под воздействием входного сигнала автомат А переходит из состояния 
в состояние а. и выдает при этом выходной сигнал 
Для обозначения мн-ва, состоящего из пар 
обычно выписывают эти пары, соединенные знаком дизъюнкцни: 
От А. м. п. нетрудно перейти к любому другому способу задания абстрактного автомата, напр., к таблицам переходов и выходов, графу автомата и пр. См. также Автоматов способы Задания. д. н. Чеботарев.
