Grammars with Context Conditions and Their Applications

1. Auflage 2005
ISBN: 978-0-471-71831-4
Verlag: John Wiley & Sons

Buch, Englisch, 240 Seiten, Format (B × H): 185 mm x 262 mm, Gewicht: 610 g

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.

Autoren/Hrsg.

Meduna, Alexander

Švec, Martin

Fachgebiete

• Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Computeranwendungen in der Mathematik
• Mathematik | Informatik EDV | Informatik Informatik
• Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Angewandte Mathematik, Mathematische Modelle
• Geisteswissenschaften Sprachwissenschaft Grammatik, Syntax, Morphologie

Inhaltsverzeichnis

Preface ix
Acknowledgments ix

1. Introduction 1

2. Preliminaries and Definitions 2
2.1 Basic Definitions 5
2.2 Grammars 8

3. Conditions Placed on Derivation Domains 15
3.1 Sequential Grammars over Word Monoids 15
3.2 Parallel Grammars over Word Monoids 24

4. Conditions Placed on the Use of Productions 33
4.1 Sequential Conditional Grammars 31
4.2 Parallel Conditional Grammars 91
4.3 Global Context Conditional Grammars 131

5. Conditions Placed on the Neighborhood of Rewritten Symbols 137
5.1 Continuous Context 137
5.2 Scattered Context 149

6. Grammatical Transformations and Derivation Simulations 169
6.1 Derivation Simulation 169
6.2 Grammatical Simulation 175
6.3 Simulation of E(0,1)L Grammars 177

7. Applications and Implementations 185
7.1 Applications 185
7.2 Implementation 192

8. Concluding and Bibliographical Notes 199

Bibliography 201
Denotations of Language Families 213
Subject Index 215

Über Autor(innen)

ALEXANDER MEDUNA, Associate Professor of Computer Science at the Brno University of Technology, received his PhD from Brno University in 1988. He has taught theoretical computer science at various European and American universities, including the University of Missouri, where he spent a decade teaching advanced topics of formal language theory. He is the author of Automata and Languages and over sixty papers related to the subject of this book.

MARTIN SVEC received his PhD from the Brno University of Technology in 2005, where Alexander Meduna was his PhD advisor. In cooperation with his advisor, he has published several papers on grammars with context conditions.