Membership for Growing Context-Sensitive Grammars is Polynomial

The membership problem for fixed context-sensitive languages is polynomial if the right hand side of every production is strictly longer than the left hand side.

[1]  Jakob Gonczarowski,et al.  Applications of Scheduling Theory to Formal Language Theory , 1985, Theor. Comput. Sci..

[2]  Stephen A. Cook.  Path systems and language recognition , 1970, STOC '70.

[3]  Walter L. Ruzzo,et al.  Tree-size bounded alternation(Extended Abstract) , 1979, J. Comput. Syst. Sci..

[4]  S.-Y. Kuroda,et al.  Classes of Languages and Linear-Bounded Automata , 1964, Inf. Control..

[5]  Ivan Hal Sudborough,et al.  On the Tape Complexity of Deterministic Context-Free Languages , 1978, JACM.

[6]  Tadao Kasami,et al.  An Efficient Recognition and Syntax-Analysis Algorithm for Context-Free Languages , 1965 .

[7]  Jakob Gonczarowski,et al.  Manipulating Derivation Forests by Scheduling Techniques , 1986, Theor. Comput. Sci..

[8]  Richard Edwin Stearns,et al.  Memory bounds for recognition of context-free and context-sensitive languages , 1965, SWCT.

[9]  Ronald V. Book.  Time-Bounded Grammars and Their Languages , 1971, J. Comput. Syst. Sci..

[10]  Arto Salomaa,et al.  Formal languages , 1973, Computer science classics.

[11]  Noam Chomsky,et al.  On Certain Formal Properties of Grammars , 1959, Inf. Control..

[12]  Jeffrey D. Ullman,et al.  Parallel complexity of logical query programs , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[13]  Daniel H. Younger,et al.  Recognition and Parsing of Context-Free Languages in Time n^3 , 1967, Inf. Control..

[14]  Jacques Loeckx,et al.  The Parsing for General Phrase-Structure Grammars , 1970, Inf. Control..

[15]  Jakob Gonczarowski,et al.  Pattern Selector Grammars and Several Parsing Algorithms in the Context-Free Style , 1985, J. Comput. Syst. Sci..

[16]  Michael A. Arbib,et al.  An Introduction to Formal Language Theory , 1988, Texts and Monographs in Computer Science.

[17]  John E. Hopcroft,et al.  Scattered Context Grammars , 1969, J. Comput. Syst. Sci..