Geodesic
Geometrical images of finite state machines
Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 5 (2005) no. 1, pp. 141-153

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

ln this work а пеw way of defining finite state machines (FSM) is being suggested. The discrete word geometry is built for that purpose, in which machine image is expressed as а set of lines. The methods of synthesis and analysis of geometrical images of FSMs and their features are researched. The new way of defining the FSMs allows analyzing the machine's behavior, excluding the exhausting recursive procedure of defining the initial fragments of machine functioning. 
@article{ISU_2005_5_1_a14,
     author = {V. A. Tverdokhlebov},
     title = {Geometrical images of finite state machines},
     journal = {Izvestiya of Saratov University. Mathematics. Mechanics. Informatics},
     pages = {141--153},
     publisher = {mathdoc},
     volume = {5},
     number = {1},
     year = {2005},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ISU_2005_5_1_a14/}
}
TY  - JOUR
AU  - V. A. Tverdokhlebov
TI  - Geometrical images of finite state machines
JO  - Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
PY  - 2005
SP  - 141
EP  - 153
VL  - 5
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ISU_2005_5_1_a14/
LA  - ru
ID  - ISU_2005_5_1_a14
ER  - 
%0 Journal Article
%A V. A. Tverdokhlebov
%T Geometrical images of finite state machines
%J Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
%D 2005
%P 141-153
%V 5
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ISU_2005_5_1_a14/
%G ru
%F ISU_2005_5_1_a14
V. A. Tverdokhlebov. Geometrical images of finite state machines. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, Tome 5 (2005) no. 1, pp. 141-153. http://geodesic.mathdoc.fr/item/ISU_2005_5_1_a14/