Martin Švec – författare

The essential guide to grammars with context conditionsThis 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 conditionsSelf-contained explanations without assumption of any previous knowledgeClear definitions and exact proofs preceded by intuitive explanationsNumerous easy-to-implement grammatical transformationsRealistic applicationsRelation to mathematics, linguistics, and biologyAdditional 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.