(Clicking on each layer gets an article on that subject)
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science with close connections to mathematical logic. The word automata comes from the Greek word αὐτόματος, which means "self-acting, self-willed, self-moving". An automaton (automata in plural) is an abstract self-propelled computing device which follows a predetermined sequence of operations automatically. An automaton with a finite number of states is called a finite automaton (FA) or finite-state machine (FSM). The figure on the right illustrates a finite-state machine, which is a well-known type of automaton. This automaton consists of states (represented in the figure by circles) and transitions (represented by arrows). As the automaton sees a symbol of input, it makes a transition (or jump) to another state, according to its transition function, which takes the previous state and current input symbol as its arguments.
Automata theory is closely related to formal language theory. In this context, automata are used as finite representations of formal languages that may be infinite. Automata are often classified by the class of formal languages they can recognize, as in the Chomsky hierarchy, which describes a nesting relationship between major classes of automata. Automata play a major role in the theory of computation, compiler construction, artificial intelligence, parsing and formal verification.
Automatatheory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in...
automaton (pl. cellular automata, abbrev. CA) is a discrete model of computation studied in automatatheory. Cellular automata are also called cellular...
into three major branches: automatatheory and formal languages, computability theory, and computational complexity theory, which are linked by the question:...
metabolic-replication systems, category theory applications in biology and medicine, automatatheory, cellular automata, tessellation models and complete self-reproduction...
quantum computation, automatatheory, information theory, cryptography, program semantics and verification, algorithmic game theory, machine learning, computational...
In automatatheory, a finite-state machine is called a deterministic finite automaton (DFA), if each of its transitions is uniquely determined by its...
book Theory of Self-Reproducing Automata, completed in 1966 by Arthur W. Burks after von Neumann's death. It is regarded as foundational for automata theory...
cited Hopcroft, John E.; Ullman, Jeffrey D. (1979). Introduction to AutomataTheory, Languages, and Computation. Reading, Massachusetts: Addison-Wesley...
In mathematics and applied mathematics, perturbation theory comprises methods for finding an approximate solution to a problem, by starting from the exact...
global warming (AGW) theories (due to human activity) Computer Science: Automatatheory — Queueing theory Cosmology: Big Bang Theory — Cosmic inflation...
biological structures (most genomes include palindromic gene sequences). In automatatheory, the set of all palindromes over an alphabet is a context-free language...
In physics, a gauge theory is a type of field theory in which the Lagrangian, and hence the dynamics of the system itself, do not change under local transformations...
An automaton (/ɔːˈtɒmətən/; pl.: automata or automatons) is a relatively self-operating machine, or control mechanism designed to automatically follow...
Probability theory or probability calculus is the branch of mathematics concerned with probability. Although there are several different probability interpretations...
(PDA) is a type of automaton that employs a stack. Pushdown automata are used in theories about what can be computed by machines. They are more capable...
In physics, string theory is a theoretical framework in which the point-like particles of particle physics are replaced by one-dimensional objects called...
In automatatheory (a branch of theoretical computer science), DFA minimization is the task of transforming a given deterministic finite automaton (DFA)...
experimenting with topics in the computer science area of formal languages and automatatheory, primarily intended for use at the undergraduate level or as an advanced...
Decision theory (or the theory of choice) is a branch of applied probability theory and analytic philosophy concerned with the theory of making decisions...
complexity measure. As he remembers: However, [my] initial interest [in automatatheory] was increasingly set aside in favor of computational complexity, an...