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
Book
Prolog and Natural-Language Analysis
TL;DR: A concise and practical introduction to logic programming and the logic-programming language Prolog, both as vehicles for understanding elementary computational linguistics and as tools for implementing the basic components of natural-language-processing systems.
Journal ArticleDOI
Access methods for text
TL;DR: This paper compares text retrieval methods intended for office systems with methods from database systems and from information retrieval systems, and examines the most interesting representatives of each class.
Journal ArticleDOI
Linear Time Logic Control of Discrete-Time Linear Systems
Paulo Tabuada,George J. Pappas +1 more
TL;DR: It is shown that existence of controllers for discrete-time controllable linear systems and LTL specifications can be decided and that such controllers can be effectively computed.
Journal ArticleDOI
On multiple context-free grammars
TL;DR: The paper presents results on the generative capacity of mcfg's and also on the properties of mcfl's such as formal language-theoretic closure properties and it is shown that the time complexity of the membership problem for multiple context-free languages is O(ne).
Journal ArticleDOI
The language of genes
TL;DR: Many techniques used in bioinformatics, even if developed independently, may be seen to be grounded in linguistics, and further interweaving of these fields will be instrumental in extending the understanding of the language of life.
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.