Grammars with Context Conditions and Their Applications

Acknowledgments.

1. Introduction.

2. Preliminaries and Definitions.

2.1 Basic Definitions.

2.2 Grammars.

3. Conditions Placed on Derivation Domains.

3.1 Sequential Grammars over Word Monoids.

3.2 Parallel Grammars over Word Monoids.

4. Conditions Placed on the Use of Productions.

4.1 Sequential Conditional Grammars.

4.1.1 Context-Conditional Grammars.

4.1.2 Random-Context Grammars.

4.1.3 Generalized Forbidding Grammars.

4.1.4 Semi-conditional Grammars.

4.1.5 Simple Semi-conditional Grammars.

4.2 Parallel Conditional Grammars.

4.2.1 Context-Conditional ETOL Grammars.

4.2.2 Forbidding ETOL Grammars.

4.2.3 Simple Semi-conditional ETOL Grammars.

4.3 Global Context Conditional Grammars.

5. Conditions Placed on the Neighborhood of Rewritten Symbols.

5.1 Continuous Context.

5.1.1 Sequential Uniform Rewriting.

5.1.2 Parallel Uniform Rewriting.

5.2 Scattered Context.

5.2.1 Scattered Context Grammars and Their Reduction.

5.2.2 Semi-parallel Uniform Rewriting.

6. Grammatical Transformations and Derivation Simulations.

6.1 Derivation Simulation.

6.2 Grammatical Simulation.

6.3 Simulation of E(0,1)L Grammars.

7. Applications and Implementations.

7.1 Applications.

7.2 Implementation.

8. Concluding and Bibliographical Notes.

Bibliography.

Denotations of Language Families.

Subject Index.