scispace - formally typeset
Open AccessBook

Introduction to Automata Theory, Languages, and Computation

TLDR
This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity, appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.
Abstract
This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity. The authors present the theory in a concise and straightforward manner, with an eye out for the practical applications. Exercises at the end of each chapter, including some that have been solved, help readers confirm and enhance their understanding of the material. This book is appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.

read more

Citations
More filters
Journal ArticleDOI

Two-dimensional cellular automata

TL;DR: A largely phenomenological study of two-dimensional cellular automata is reported, finding Qualitative classes of behavior similar to those in one-dimensional Cellular automata are found.
Journal ArticleDOI

The evolution of language.

TL;DR: The theory provides a systematic approach for thinking about the origin and evolution of human language and argues that grammar originated as a simplified rule system that evolved by natural selection to reduce mistakes in communication.
Book

Ω-languages

TL;DR: The Department of Languages provides a vital component in the undergraduate liberal arts education offered at the University of WisconsinEau Claire and serves at home and abroad as ambassadors for a diverse, peacefully interacting global society.
Journal ArticleDOI

The Necessity and Sufficiency of Anytime Capacity for Stabilization of a Linear System Over a Noisy Communication Link—Part I: Scalar Systems

TL;DR: In cases of sufficiently rich information patterns between the encoder and decoder, adequate anytime capacity is shown to be sufficient for there to exist a stabilizing controller and this result is generalized to cases with noisy observations, delayed control actions, and without any explicit feedback between the observer and the controller.
Journal ArticleDOI

Mutual information functions versus correlation functions

TL;DR: This paper studies one application of mutual information to symbolic sequences: the mutual information function M(d).
References
More filters
Book ChapterDOI

Representation of Events in Nerve Nets and Finite Automata

S. C. Kleene
TL;DR: This memorandum is devoted to an elementary exposition of the problems and of results obtained on the McCulloch-Pitts nerve net during investigations in August 1951.