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
Formal-Language-Constrained Path Problems
TL;DR: In this paper, it was shown that the problem of finding a simple path between a source and a given destination is NP-hard, even when L is restricted to fixed simple regular languages and to very simple classes of graphs.
Symbolic Methods for Exploring Infinite State Spaces
TL;DR: This thesis introduces a general method for computing the set of reachable states of an infinite-state system, based on the concept of meta-transition, which is a mathematical object that can be associated to the model, and whose purpose is to make it possible to compute in a finite amount of time an infinite set of Reachable states.
Journal ArticleDOI
The strong exponential hierarchy collapses
TL;DR: It is shown that the strong exponential hierarchy collapses to P NE, its Δ 2 level, using the use of partial census information and the exploitation of nondeterminism.
Proceedings ArticleDOI
A type system for expressive security policies
TL;DR: This work describes how to instrument well-typed programs with security checks and typing annotations and provides a foundation for the process of automatically generating certified code for expressive security policies.
Proceedings ArticleDOI
A Parallel Approach to XML Parsing
Wei Lu,Kenneth Chiu,Yinfei Pan +2 more
TL;DR: The design and implementation of an initial preparsing phase to determine the structure of the XML document, followed by a full, parallel parse, which shows that the approach applies to real-world, production quality parsers.
References
More filters
Book ChapterDOI
Representation of Events in Nerve Nets and Finite Automata
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.