Szukana fraza: [Abstract = "The paper addresses finite state machines which provide suitable mathematical models for discrete\-event dynamical systems. Boolean automata are of particular interest. In contrast to the classical automata theory, an arithmetic representation of Boolean functions is used based on multilinear polynomials."]