Show simple item record

Кондратьева, Ольга В.
Gromov, Maxim L.
Kondratyeva, Ol’ga V.
2008-09-15T02:25:26Z
2008-09-15T02:25:26Z
2008-09
https://elib.sfu-kras.ru/handle/2311/766
Данная работа посвящена описанию некоторых свойств автоматов, которые позволяют гово- рить о полиномиальном числе состояний в наблюдаемой форме автомата. Подобная структу- ра (наблюдаемая форма автомата) является необходимой составной частью многих методов тестирования и оптимизации систем, основанных на автоматной модели, а также и полу- автоматной модели, с той лишь разницей, что аналогом наблюдаемой формы автомата там является детерминированный полуавтомат.en
This work is devoted to the description of some property of a finite state machine (FSM), which allows one to speak about polynomial number of states in observable form of a FSM. The observable form is an essential part of the vast variety of methods for testing and optimization of systems, based on FSM model.en
139339 bytes
application/pdf
ruen
Сибирский федеральный университет. Siberian Federal Universityen
Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physicsen
2008 1 (3)en
автоматen
наблюдаемая форма автоматаen
приведение к наблюдаемой формеen
finite state machineen
the observable form of a finite state machineen
reduction to an observable formen
Об одном классе автоматов с полиномиальной оценкой числа состояний в наблюдаемой формеen
On one FSM class with a polynomial number of states in observable formen
Journal Article
Published Journal Article
Максим Л.Громов: Томский государственный университет, пр. Ленина 36, Томск, 634050, Россия, email: gromov@sibmail.com; Ольга В.Кондратьева: Томский государственный университет, пр. Ленина 36, Томск, 634050, Россия, email: kajteler@sibmail.com
257-261
http://elib.sfu-kras.ru/bitstream/2311/766/1/%D0%93%D1%80%D0%BE%D0%BC%D0%BE%D0%B2_%D0%9A%D0%BE%D0%BD%D0%B4%D1%80%D0%B0%D1%82%D1%8C%D0%B5%D0%B2%D0%B0.pdf


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record


DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV