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

Любой автомат может быть задан матрицей соединений. Матрица соединений С имеет 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/- - - - - - -

Этот способ не удобен при возрастании числа внутренних состояний, число нулевых элементов матрицы возрастает (причиной этого является слабая взаимосвязанность внутренних состояний графов переходов цифровых автоматов), что ведет к увеличению расхода памяти в компьютерах.


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: