Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,509,564 papers from all fields of science

Search

Semantic Scholar uses AI to extract papers important to this topic.

Review

2010

Review

2010

Understand the structure, behavior, and limitations of logic machines with this thoroughly updated third edition. Many new topics…

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

2005

Highly Cited

2005

Many of the important concepts and results of conventional finite automata theory are developed for a generalization in which…

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…

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

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…