scispace - formally typeset
Search or ask a question
Topic

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.


Papers
More filters
Proceedings ArticleDOI
23 Aug 1992
TL;DR: The paper describes two equivalent grammatical formalisms, a lexicalised version of dependeney grammar, and this can be used to provide tree-structured analyses of sentences (though some-what flatter than those usually provided by phrase structure grammars), and a new formalism, 'Dynamic Dependency Grammar', which uses axioms and deduction rules to provide analyses of phrases in terms of transitions between states.
Abstract: The paper describes two equivalent grammatical formalisms. The first is a lexicalised version of dependeney grammar, and this can be used to provide tree-structured analyses of sentences (though some-what flatter than those usually provided by phrase structure grammars). The second is a new formalism, 'Dynamic Dependency Grammar', which uses axioms and deduction rules to provide analyses of sentences in terms of transitions between states.A reformulation of dependency grammar using state transitions is of interest on several grounds. Firstly, it can be used to show that incremental interpretation is possible without requiring notions of overlapping, or flexible constituency (as in some versions of categorial grammar), and without destroying a transparent link between syntax and semantics. Secondly, the reformulation provides a level of description which can act as an intermediate stage between the original grammar and a parsing algorithm. Thirdly, it is possible to extend the reformulated grammars with further axioms and deduction rules to provide coverage of syntactic constructions such as coordination which are difficult to encode lexically.

30 citations

Book ChapterDOI
03 Jul 2011
TL;DR: An automated approach is developed that is practically useful in revealing evidence of nonequivalence of grammars and discovering correspondence mappings for grammar nonterminals and two studies are discussed that show how the approach is used in comparing Grammars of open source Java parsers as well as grammARS from the course work for a compiler construction class.
Abstract: There exist a number of software engineering scenarios that essentially involve equivalence or correspondence assertions for some of the context-free grammars in the scenarios. For instance, when applying grammar transformations during parser development--be it for the sake of disambiguation or grammar-class compliance--one would like to preserve the generated language. Even though equivalence is generally undecidable for context-free grammars, we have developed an automated approach that is practically useful in revealing evidence of nonequivalence of grammars and discovering correspondence mappings for grammar nonterminals. Our approach is based on systematic test data generation and parsing. We discuss two studies that show how the approach is used in comparing grammars of open source Java parsers as well as grammars from the course work for a compiler construction class.

30 citations

Journal ArticleDOI
TL;DR: A hierarchy of context-free grammars and languages with respect to the index ofcontext-free Grammars is established and the undecidability of the basic problems is proven.
Abstract: A hierarchy of context-free grammars and languages with respect to the index of context-free grammars is established and the undecidability of the basic problems is proven.

30 citations

Journal ArticleDOI
TL;DR: A method is given for generalizing context free grammars to include infinite terminal sets to create a new grammar that has enough power to describe all of the syntactic and semantic constraints of the declaration structure for variables and labels in ALGOL-60.
Abstract: A method is given for generalizing context free grammars to include infinite terminal sets. The new grammar has many of the properties of context free grammars (e.g. membership is decidable and recognition by a suitably generalized nondeterministic pushdown device is always possible). Yet, treating each identifier as a separate terminal symbol, the grammar has enough power to describe all of the syntactic and semantic constraints of the declaration structure for variables and labels in ALGOL-60.

30 citations

Proceedings Article
01 Jan 1998
TL;DR: A process for low-temperature separation of air, wherein liquefied nitrogen and liquefying air enriched with oxygen obtained from preliminary rectification are subjected to secondary rectification to produce gaseous nitrogen containing less than 0.3 vol.% of oxygen and argon impurities.
Abstract: A process for low-temperature separation of air, wherein liquefied nitrogen and liquefied air enriched with oxygen obtained from preliminary rectification are subjected to secondary rectification to produce gaseous nitrogen containing less than 0.3 vol.% of oxygen and argon impurities, gaseous oxygen-argon mixture and liquefied oxygen-argon mixture containing up to 4.5 vol.% of argon. Subsequently, the gaseous oxygen-argon mixture is subjected to further rectification to produce argon-oxygen mixture containing argon with impurities of 3-0.1 vol.% of oxygen and less than 0.1 vol.% of nitrogen, as well as oxygen with a concentration of from 99.7 to 99.99 vol.%.

30 citations


Network Information
Related Topics (5)
Graph (abstract data type)
69.9K papers, 1.2M citations
80% related
Time complexity
36K papers, 879.5K citations
79% related
Concurrency
13K papers, 347.1K citations
78% related
Model checking
16.9K papers, 451.6K citations
77% related
Directed graph
12.2K papers, 302.4K citations
77% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202311
202212
20211
20204
20191
20181