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.
Review
2018
Review
2018
Abstract This paper presents historical remarks on key projects and papers that led to the development of a theory of event… Expand
  • figure 1
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
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
Highly Cited
1996
Highly Cited
1996
  • T. Henzinger
  • Proceedings 11th Annual IEEE Symposium on Logic…
  • 1996
  • Corpus ID: 14272656
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
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
Highly Cited
1990
Highly Cited
1990
  • D. Perrin
  • Handbook of Theoretical Computer Science, Volume…
  • 1990
  • Corpus ID: 91701
Publisher Summary This chapter presents the field of finite automata, which is a branch of mathematics connected with the… Expand
  • figure 1
  • figure 3
  • figure 5
  • figure 6
  • figure 7
Highly Cited
1988
Highly Cited
1988
Great Aunt Eugenia and other automata Sundry machines Implementing finite automata Implementation and realization Behavioural… Expand
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
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
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