Об одном классе автоматов с полиномиальной оценкой числа состояний в наблюдаемой форме

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