logo search
Ответы на вопросы экз

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

Любой автомат может быть задан матрицей соединений. Матрица соединений С имеет M строк и M столбцов. Каждая строка соответствует исходному состоянию am(t), каждый столбец состоянию перехода as(t+1). На пересечении строки i и столбца j записывается элемент Cij. Этот элемент включает числитель и знаменатель.

Числитель отображает условие перехода (входной сигнал xf) автомата из состояния am в состояние as. Знаменатель отображает выходной сигнал yg(t), генерируемый на переходе.

Составим матрицу соединений С для автомата Мили заданного таблицей переходов (табл. 4.1) и таблицей выходов (табл. 4.2).

а1

а2

а3

а4

а5

а6

а7

а1

-

х1/-

х2/-

х3/-

-

-

-

а2

-

-

-

-

х4/y1

-

-

а3

-

-

-

-

-

х4/y2

-

С =

а4

-

-

-

-

-

-

х4/y3

а5

1/-

-

-

-

-

-

-

а6

1/-

-

-

-

-

-

-

а7

1/-

-

-

-

-

-

-

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