Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

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

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

We summarize several recent results about hybrid automata. Our goal is to demonstrate that concepts from the theory of discrete… Expand

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

Publisher Summary
This chapter presents the field of finite automata, which is a branch of mathematics connected with the… Expand

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

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

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