Finite automatics
The theory of finite automata is a branch of mathematical cybernetics that studies the processing of mathematical models (automata, machines), real existing devices and systems (technical, biological) or abstract systems (mathematical machines, axiomatic theory) in discrete instantaneous information.
