Выдержка из книги
Мелихов А.Н.
Ориентированные графы и конечные автоматы
Пусть дан произвольный автомат А с п состояниями. Если матрицы Rz не являются правильными клеточными матрицами соединений, то, применяя стандартный прием, представим каждую из них правильной клеточной матрицей соединений с числом запретов в каждой из матриц Rz, равным фог.