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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1956-2017
020040060019562016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2002
Highly Cited
2002
" . . . . . . . ~":""":::: :: ~ ~'::":'::'~:'$" ~ ~ '": • • ::::: i:: ::::.: :i:: ::: :~:::: ~i… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In the preface from the 1979 predecessor to thOR book, Hopcroft and U11man marveled at the fact that the subject of automata had… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We apply the symbolic analysis principle to pushdown systems We represent possibly in nite sets of con gurations of such systems… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A hybrid automaton is a formal model for a mixed discrete-continuous system. We classify hybrid automata acoording to what… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Alur, R. and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994) 183-235. We propose timed (j&e… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Automata on infinite words were introduced by Biichi in order to give a decision procedure for SlS, the monadic second-order… (More)
  • figure 1
Is this relevant?
Highly Cited
1986
Highly Cited
1986
We present a new technique for obtaining decision procedures for modal logics of programs. The technique centers around a new… (More)
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Where you can find the introduction to automata theory languages and computation easily? Is it in the book store? On-line book… (More)
Is this relevant?
Highly Cited
1968
Highly Cited
1968
Many of the important concepts and results of conventional finite automata theory are developed for a generalization in which… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?