Библиографическое описание:Громов, М. Л. Об одном классе автоматов с полиномиальной оценкой числа состояний в наблюдаемой форме = On one FSM class with a polynomial number of states in observable form / М. Л. Громов, О. В. Кондратьева. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2008. - Т. 1, № 3. - С. 257-261. - Библиогр.: с. 261 (4 назв.). - ISSN 1997-1397.
Аннотация:Данная работа посвящена описанию некоторых свойств автоматов, которые позволяют говорить о полиномиальном числе состояний в наблюдаемой форме автомата. Подобная структура (наблюдаемая форма автомата) является необходимой составной частью многих методов тестирования и оптимизации систем, основанных на автоматной модели, а также и полуавтоматной модели, с той лишь разницей, что аналогом наблюдаемой формы автомата там является детерминированный полуавтомат.
