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

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