automata theory

noun

1. the formal study of the power of computation of abstract machines

Example Sentences

The work of Watson and Crick was based on Alan Turing's work in finite automata theory.

From New York Times