Membership for growing context-sensitive grammars is polynomial
Journal of Computer and System Sciences
Church-Rosser Thue systems and formal languages
Journal of the ACM (JACM)
Growing context-sensitive languages and Church-Rosser languages
Information and Computation
Journal of the ACM (JACM)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
An Insertion into the Chomsky Hierarchy?
Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa
On Growing Context-Sensitive Languages
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
The Variable Membership Problem: Succinctness Versus Complexity
STACS '94 Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science
A Normal Form for Church-Rosser Language Systems
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
The context-splittable normal form for Church--Rosser language systems
Information and Computation - RTA 2001
Lower bound technique for length-reducing automata
Information and Computation
Restarting automata and their relations to the Chomsky hierarchy
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Growing Grammars and Length-reducing Automata
Fundamenta Informaticae - Non-Classical Models of Automata and Applications II
| Hi-index | 0.00 |
The growing context-sensitive languages have been defined by Dahlhaus and Warmuth using strictly monotone grammars, and they have been characterized by Buntrock and Lor媒s by weight-increasing grammars. The acyclic context-sensitive languages are defined by context-sensitive grammars the contextfree kernels of which contain no cycles of chain rules, which is equivalent to being context-sensitive and weight-increasing at the same time. In this paper we show that these two language classes coincide, that is, for each weight-increasing grammar there exists an equivalent one that is weight-increasing and context-sensitive at the same time.