Dictionary.com
Thesaurus.com

automata theory

British  

noun

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

"Collins English Dictionary — Complete & Unabridged" 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012

Example Sentences

Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.

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

From New York Times