Journal of Siberian Federal University. Mathematics & Physics / On one FSM class with a polynomial number of states in observable form

Full text (.pdf)
Issue
Journal of Siberian Federal University. Mathematics & Physics. 2008 1 (3)
Authors
Gromov, Maxim L.; Kondratyeva, Ol’ga V.
Contact information
Максим Л.Громов: Томский государственный университет, пр. Ленина 36, Томск, 634050, Россия, email: ; Ольга В.Кондратьева: Томский государственный университет, пр. Ленина 36, Томск, 634050, Россия, email:
Keywords
finite state machine; the observable form of a finite state machine; reduction to an observable form
Abstract

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.

Pages
257-261
Paper at repository of SibFU
https://elib.sfu-kras.ru/handle/2311/766