Pre-automata as Mathematical Models of Event Flows Recognisers

Abstract

The new class of recognisers is introduced and studied in the paper. The models are based on the notion of partial action of a free nite generated monoid. Authors called such models by preautomata. Some properties of preautomata were established and proved in the paper. These properties allow to consider the pre-automata as mathematical models of recognizers of event ows in processes of the interaction of software systems.