Выбор структурно-полной системы элементов

Функционирование структурного автомата во времени предполагает управление переключением каждого элемента автомата памяти в соответствии со структурной таблицей переходов синтезируемого автомата. Последнее выполняется в соответствии помощью специальной комбинационной схемы, подключаемой к информационным входам элементарного автомата памяти и реализующей булевы функции, управляющие его переключением. Такие булевы функции называют функциями возбуждения элемента памяти, и, в общем случае, различных функций возбуждения столько, сколько различных информационных входов имеется у элементарных автоматов памяти в синтезируемом структурном автомате. Функция возбуждения любого элемента памяти является произвольной булевой функцией и для ее реализаций с помощью комбинационных схем необходимо использовать какую-нибудь функционально-полную систему логических элементов.

Т.о. для построения структурного автомата, необходимо кроме элементов памяти иметь КС, реализующую булеву функцию возбуждения элементов памяти автомата, а для выработки выходных сигналов структурного автомата – специальные КС формирования выходных сигналов автомата.

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

- выходы элементов памяти, где

- число элементов памяти;

- функции возбуждения элементов памяти;

- выходные каналы структурного автомата, где

- число выходных каналов.

Для автомата Мили, описанного табл. 1 получаем: необходимо два элемента памяти, т.к. векторы состояний – двухкомпонентные, необходимо два выходных и один входной каналы.