Grammars with Context Conditions and Their Applications

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.

• Preface ixAcknowledgments ix1. Introduction 12. Preliminaries and Definitions 22.1 Basic Definitions 52.2 Grammars 83. Conditions Placed on Derivation Domains 153.1 Sequential Grammars over Word Monoids 153.2 Parallel Grammars over Word Monoids 244. Conditions Placed on the Use of Productions 334.1 Sequential Conditional Grammars 314.2 Parallel Conditional Grammars 914.3 Global Context Conditional Grammars 1315. Conditions Placed on the Neighborhood of Rewritten Symbols 1375.1 Continuous Context 1375.2 Scattered Context 1496. Grammatical Transformations and Derivation Simulations 1696.1 Derivation Simulation 1696.2 Grammatical Simulation 1756.3 Simulation of E(0,1)L Grammars 1777. Applications and Implementations 1857.1 Applications 1857.2 Implementation 1928. Concluding and Bibliographical Notes 199Bibliography 201Denotations of Language Families 213Subject Index 215