Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 216,881,167 papers from all fields of science

Search

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…

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…

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…

Highly Cited

1988

Highly Cited

1988

Great Aunt Eugenia and other automata Sundry machines Implementing finite automata Implementation and realization Behavioural…

Highly Cited

1983

Highly Cited

1983

Cellular automata are used as simple mathematical models to investigate self-organization in statistical mechanics. A detailed…

Highly Cited

1979

Highly Cited

1971

Highly Cited

1971

A particular class of finite-state automata, christened by the authors "counter-free," is shown here to behave like a good actor…

Highly Cited

1969

Highly Cited

1969

From the Preface (See Front Matter for full Preface)
The study of formal languages constitutes an important subarea of…

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…

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…