geometrical image

Geometrical images of finite state machines

In this work a new 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 a 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.

Affine transformations of geometrical images of finite automata

A subclass of affine transformations on the set of geometrical images of finite automata is investigated. The results about the characteristics and the form of these transformations are described.