automata theory: Quick Facts

Written and fact-checked by

The Information Architects of Encyclopaedia Britannica

Photos

See All Images →

Topics

neurological model multiple-prediction theory computability Turing computability mechanical procedure Church’s thesis Turing machine halting problem Turing test automaton probability theory cryptology computer science combinatorics algebra statistics geometry set theory information theory trigonometry

Key People

default image

Michael Oser Rabin

Israeli American mathematician

Dana Stewart Scott.

Dana Scott

American mathematician, logician, and computer scientist

default image

John Hopcroft

American computer scientist

default image

Richard E. Stearns

American mathematician and computer scientist

Equations written on blackboard

Numbers and Mathematics