Контроль автоматов с памятью, страница 8

Код состояний исходного автомата представляет множество векторов {00, 01, 10, 11}, а код выходов — множество векторов {00, 01, 10}. Порождающая матрица линейного группового кода состояний с обнаружением однократной ошибки имеет вид:

Порождающая матрица линейного группового кода выходов с обнаружением однократной ошибки имеет вид

.

Уравнения, определяющие структуру схем СОО1 и СОО2 могут быть представлены следующим образом:

Окончательный вариант структурной таблицы переходов автомата имеет вид (табл. 22.6).

      Таблица 22.6