Product Description: Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computation, including computability, decidability, and computational complexity...read more

Product Description: Maintaining a balance between a theoretical and practical approach to this important subject, Elements of Compiler Design serves as an introduction to compiler writing for undergraduate students. From a theoretical viewpoint, it introduces rudimental models, such as automata and grammars, that underlie compilation and its essential phases...read more

The essential guide to grammars with context conditions This advanced computer science book systematically and compactly summarizes the current knowledge about grammars with context conditions-an important area of formal language theory. According to the types of context conditions, this self-contained reference classifies them into grammars with context conditions placed on the domains of grammatical derivations, the use of grammatical productions, and the neighborhood of the rewritten symbols. The focus is on grammatical generative power, important properties, simplification, reduction, implementation, and applications, most of which are related to microbiology. The text features: * Up-to-date coverage of grammatical concepts based on context conditions * Self-contained explanations without assumption of any previous knowledge * Clear definitions and exact proofs preceded by intuitive explanations * Numerous easy-to-implement grammatical transformations * Realistic applications * Relation to mathematics, linguistics, and biology * Additional material and information about the book available on accompanying Web site (see preface for details) Practitioners and advanced students in theoretical computer science and related areas- including mathematics, linguistics, and molecular biology-will find Grammars with Context Conditions and Their Applications an essential reference for this cutting-edge area of formal language theory.

Product Description: A step-by-step development of the theory of automata, languages and computation. Intended for use as the basis of an introductory course at both junior and senior levels, the text is organized so as to allow the design of various courses based on selected material...read more