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)
String-rewriting systems
Growing context-sensitive languages and Church-Rosser languages
Information and Computation
Confluent and Other Types of Thue Systems
Journal of the ACM (JACM)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
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
Cross-Sections for Finitely Presented Monoids with Decidable Word Problems
RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications
Church-rosser and related thue systems (word problem, rewrite rules, congruence)
Church-rosser and related thue systems (word problem, rewrite rules, congruence)
Journal of Automata, Languages and Combinatorics
Degrees of non-monotonicity for restarting automata
Theoretical Computer Science
Lower bound technique for length-reducing automata
Information and Computation
The size of Higman-Haines sets
Theoretical Computer Science
On determinism versus nondeterminism for restarting automata
Information and Computation
Non-recursive trade-offs for deterministic restarting automata
Journal of Automata, Languages and Combinatorics
The Boolean Closure of Growing Context-Sensitive Languages
Fundamenta Informaticae
Hi-index | 0.00 |
The growing context-sensitive languages have been classified through the shrinking two-pushdown automaton, the deterministic version of which characterizes the class of generalized Church-Rosser languages [Inform. Comput. 141 (1998) 1]. Exploiting this characterization we prove that the latter class coincides with the class of Church-Rosser languages that was introduced by McNaughton et al. [J. ACM 35 (1988) 324]. Based on this result several open problems of McNaughton et al. are solved. In addition, we show that shrinking two-pushdown automata and length-reducing two-pushdown automata are equivalent, both in the non-deterministic and the deterministic case, thus obtaining still another characterization of the growing context-sensitive languages and the Church-Rosser languages, respectively.