Geodesic
Identification of a~state machine structure with finites fragment of behavior
Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 13 (2013) no. 2, pp. 14-20

Voir la notice de l'article provenant de la source Math-Net.Ru

Identification of a state machine structure with finite fragments of behavior is discussed. The state machine behavior is a set of various finite-sequential (f.-s.) functions realized in a state machine, and under a finite fragment of behavior we mean traces of f.-s. functions and state machines. The concept of an identifying trace for a state machine irredundant over its realization is introduced. The approach is suggested that enables to separate and descript in the set of traces identifying a state machine the finite set of irredundant traces consisting of only essential information for identification of a state machine. 
@article{ISU_2013_13_2_a2,
     author = {S. A. Bogomolov},
     title = {Identification of a~state machine structure with finites fragment of behavior},
     journal = {Izvestiya of Saratov University. Mathematics. Mechanics. Informatics},
     pages = {14--20},
     publisher = {mathdoc},
     volume = {13},
     number = {2},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ISU_2013_13_2_a2/}
}
TY  - JOUR
AU  - S. A. Bogomolov
TI  - Identification of a~state machine structure with finites fragment of behavior
JO  - Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
PY  - 2013
SP  - 14
EP  - 20
VL  - 13
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ISU_2013_13_2_a2/
LA  - ru
ID  - ISU_2013_13_2_a2
ER  - 
%0 Journal Article
%A S. A. Bogomolov
%T Identification of a~state machine structure with finites fragment of behavior
%J Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
%D 2013
%P 14-20
%V 13
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ISU_2013_13_2_a2/
%G ru
%F ISU_2013_13_2_a2
S. A. Bogomolov. Identification of a~state machine structure with finites fragment of behavior. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 13 (2013) no. 2, pp. 14-20. http://geodesic.mathdoc.fr/item/ISU_2013_13_2_a2/