Любой автомат может быть задан матрицей соединений. Матрица соединений С имеет M строк и M столбцов. Каждая строка соответствует исходному состоянию a m(t), каждый столбец состоянию перехода a s(t +1). На пересечении строки i и столбца j записывается элемент C ij. Этот элемент включает числитель и знаменатель.
Числитель отображает условие перехода (входной сигнал x f) автомата из состояния a m в состояние a s. Знаменатель отображает выходной сигнал y g(t), генерируемый на переходе.
Составим матрицу соединений С для автомата Мили заданного таблицей переходов (табл. 4.1) и таблицей выходов (табл. 4.2).
а 1 | а 2 | а 3 | а 4 | а 5 | а 6 | а 7 | ||
а 1 | - | х 1 /- | х 2 /- | х 3 /- | - | - | - | |
а 2 | - | - | - | - | х 4 /y 1 | - | - | |
а 3 | - | - | - | - | - | х 4 /y 2 | - | |
С = | а 4 | - | - | - | - | - | - | х 4 /y 3 |
а 5 | 1/- | - | - | - | - | - | - | |
а 6 | 1/- | - | - | - | - | - | - | |
а 7 | 1/- | - | - | - | - | - | - |
Этот способ не удобен при возрастании числа внутренних состояний, число нулевых элементов матрицы возрастает (причиной этого является слабая взаимосвязанность внутренних состояний графов переходов цифровых автоматов), что ведет к увеличению расхода памяти в компьютерах.
|
|