Построение контролируемых автоматов. II

Рассматриваются методы построения некоторого класса контролируемых автоматов при заданных ограничениях на степень расширения входного и выходного алфавитов и множества состояний. Строится верхняя оценка для длины контрольной последовательности синтезированного автомата.