

If the micro-approach is adopted, a finite automaton is defined as a set of elements and a scheme of their interconnections, i.e. when the only feature of interest is the external behaviour of the system, a finite automaton may be defined as a class of functions, as a finite oriented graph or (in algebraic form) as a finite algebra with unary operations (cf.

The concept of a finite automaton may be defined from different points of view. Formal system), real automata, living organisms, etc. Depending on the particular point of view, such system may include formal systems (cf. At each such moment signals - that is, letters from the input alphabet - are fed into the input channel and signals - that is, letters from the output alphabet - are produced by the output channel. Substantially, a finite automaton may be described as a system with input and output channels that is in one of $ n $Īt any discrete moment of time. Finite automata are one of the most important types of control systems (cf. A mathematical model of a system with a finite memory which processes discrete information.
