Skip to search formSkip to main content

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

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… Expand

Is this relevant?

Highly Cited

2001

Highly Cited

2001

Conventional type systems specify interfaces in terms of values and domains. We present a light-weight formalism that captures… Expand

Is this relevant?

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

Is this relevant?

Highly Cited

1997

Highly Cited

1997

The subject of this chapter is the study of formal languages (mostly languages recognizable by finite automata) in the framework… Expand

Is this relevant?

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

Is this relevant?

Highly Cited

1983

Highly Cited

1983

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

Is this relevant?

Highly Cited

1983

Highly Cited

1983

Abstract Cellular automata are discrete dynamical systems with simple construction but complex self-organizing behaviour… Expand

Is this relevant?

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

Is this relevant?

Highly Cited

1979

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

Is this relevant?