An open-ended computer science discipline that concerns an abstract device called an "automaton," which performs a specific computational or recognition function. Networks of automata are designed to ...