Context-sensitive grammar

About: Context-sensitive grammar is a research topic. Over the lifetime, 1938 publications have been published within this topic receiving 45911 citations. The topic is also known as: CSG.

Neighborhood-uniform NLC grammars

Abstract: This paper investigates the basic properties of the class of neighborhood-uniform nodel label controlled (NUNLC) graph grammars The class of NUNLC grammars is distinguished by requiring a very natural restriction on the connection relations of NLC grammars The restriction implies “Church-Rosser property” of derivations in an NUNLC grammar, which makes the class of NUNLC grammars “technically easier” to investigate A number of combinatorial properties of the languages generated by the class of NUNLC grammars are proved Also, it is demonstrated that a number of basic properties are decidable for the class of NUNLC grammars—many of them are undecidable in the whole class of NLC grammars

Incrementally Inferring Context-Free Grammars for Domain-Specific Languages.

Abstract: Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to the programming language problem domain has been limited. We propose a new application area for grammar inference which intends to make domain-specific language development easier and finds a second application in renovation tools for legacy software systems. We discuss the improvements made to our core incremental approach to inferring context-free grammars. The approach affords a number of advancements over our previous geneticprogramming based inference system. We discuss the beam search heuristic for improved searching in the solution space of all grammars, the Minimum Description Length heuristic to direct the search towards simpler grammars, and the right-hand-side subset constructor operator.

Pattern-based tree attribution

Abstract: Attribute grammars have been used for many language-oriented tasks, including the formal description of semantics and the implementation of compilation tasks from simple type checking through code generation. Despite their successful use, attribute grammars have some disadvantages, including the monolithic nature of the grammar and the fixed factoring of all attribute descriptions by a single set of grammar productions. Attribute pattern sets provide a more expressive attribution system by using pattern matching, instead of grammar productions, to perform case analysis. Attribute pattern sets can be implemented in terms of attribute grammars in a way that maintains the dependency structure of the attribute system, making it straightforward to convert many of the practical results from attribute grammar theory to similar results for attribute pattern sets.

One-sided forbidding grammars and selective substitution grammars

Abstract: In one-sided forbidding grammars, the set of rules is divided into the set of left forbidding rules and the set of right forbidding rules. A left forbidding rule can rewrite a non-terminal if each of its forbidding symbols is absent to the left of the rewritten symbol in the current sentential form, while a right forbidding rule is applied analogically except that this absence is verified to the right. Apart from this, they work like ordinary forbidding grammars. As its main result, this paper proves that one-sided forbidding grammars are equivalent to selective substitution grammars. This equivalence is established in terms of grammars with and without erasing rules. Furthermore, this paper proves that one-sided forbidding grammars in which the set of left forbidding rules coincides with the set of right forbidding rules characterize the family of context-free languages. In the conclusion, the significance of the achieved results is discussed.

Reference grammars and pedagogical grammars

Abstract: Four types of grammar are distinguished according to mode of use: reference grammars, pedagogical grammars, theoretical grammars, and teach-yourself grammars. Four factors are shown to enter into a typology of grammars: the mode of use, the language of the user, the level of the user, and the aims of use. Reference grammars and pedagogical grammars are characterized, the former with particular respect to A Comprehensive Grammar of the English Language. In general it is not desirable to attempt to combine in one book the functions of these two types of grammars.