Описание каскадных сетей конечных автоматов в терминах кодирований и покрытий

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