This advanced computer science book systematically and compactly summarizes the current knowledge about grammars with context conditions—an important area of the formal language theory. According to the types of context conditions, it 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 main attention is paid to the grammatical generative power, important properties, simplification, reduction, implementation and applications, most of which are related to microbiology.
This book is relevant to advanced students and specialists in theoretical computer science and related areas, such as mathematics, linguistics, and molecular biology.
