Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Automata theory

Known as: Automata (disambiguation), Theory of automata, Analog automata 
The figure at right illustrates a finite-state machine, which belongs to a well-known type of automaton. This automaton consists of states… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Conventional type systems specify interfaces in terms of values and domains. We present a light-weight formalism that captures… Expand
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2001
Highly Cited
2001
G' A. Linz, Peter. An introduction to formal languages and automata / Peter Linz'--3'd cd charrgcs ftrr the second edition wercl… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The subject of this chapter is the study of formal languages (mostly languages recognizable by finite automata) in the framework… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We summarize several recent results about hybrid automata. Our goal is to demonstrate that concepts from the theory of discrete… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 8
Is this relevant?
Highly Cited
1983
Highly Cited
1983
Cellular automata are used as simple mathematical models to investigate self-organization in statistical mechanics. A detailed… Expand
  • figure 4
  • figure 5
  • figure 6
  • figure 7
  • figure 9
Is this relevant?
Highly Cited
1983
Highly Cited
1983
Abstract Cellular automata are discrete dynamical systems with simple construction but complex self-organizing behaviour… Expand
  • table I
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1979
Highly Cited
1979
This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
Is this relevant?
Highly Cited
1979
Highly Cited
1979
 
Is this relevant?
Highly Cited
1968
Highly Cited
1968
Introduction. In this paper we solve the decision problem of a certain secondorder mathematical theory and apply it to obtain a… Expand
Is this relevant?