abstract automata theory

abstract automata theory

[′abz·trakt ȯ′tam·ə·tə ′thē·ə·rē]
(computer science)
The mathematical theory which characterizes automata by three sets: input signals, internal states, and output signals; and two functions: input functions and output functions.