Журнал СФУ. Математика и физика / Об одном классе автоматов с полиномиальной оценкой числа состояний в наблюдаемой форме

Полный текст (.pdf)
Номер
Журнал СФУ. Математика и физика. 2008 1 (3)
Авторы
Кондратьева, Ольга В.
Контактная информация
Максим Л.Громов: Томский государственный университет, пр. Ленина 36, Томск, 634050, Россия, email: ; Ольга В.Кондратьева: Томский государственный университет, пр. Ленина 36, Томск, 634050, Россия, email:
Ключевые слова
автомат; наблюдаемая форма автомата; приведение к наблюдаемой форме; finite state machine; the observable form of a finite state machine; reduction to an observable form
Аннотация

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

Страницы
257-261
Статья в архиве электронных ресурсов СФУ
https://elib.sfu-kras.ru/handle/2311/766