Матричный способ задания автоматов

Матрица переходов представляет собой квадратную матрицу, строки и столбцы которой соответствуют внутренним состояниям автомата.

Элементы [i,j] указывают состояние входа автомата , при котором он переходит из внутреннего состояния x_i в состояние x_j, и состояние выхода, которое соответствует полному состоянию М. В каждой строке матрицы перехода одно и тоже состояние входа не может встретиться более одного раза. Если автомат из внутреннего состояния x_i переходит в состояние x_j под воздействием нескольких входных сигналов, то в соответствующей ячейке проставляется дизъюнкция состояния входа.

	X1	X2	X3
X1	1 2	2 1	-
X2	1v 3/ 2	-	2 3
X3	-	-	2 1