RUS  ENG
Full version
JOURNALS // Izvestiya of Saratov University. Mathematics. Mechanics. Informatics // Archive

Izv. Saratov Univ. Math. Mech. Inform., 2005 Volume 5, Issue 1-2, Pages 141–153 (Mi isu684)

This article is cited in 4 papers

Computer science

Geometrical images of finite state machines

V. A. Tverdokhlebov

Saratov State University

Abstract: 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.

UDC: 519.21



© Steklov Math. Inst. of RAS, 2025