Abstract
In this paper two complexity measures are investigated for the class of deterministic tree-walking transducers. We show that, when a constant bound is imposed on the crossing number of these devices, the rank of the input tree language induces an infinite, non-collapsing hierarchy. Using this result we solve some language-theoretic questions that were left open in the literature. Our separation result can also be transferred to other classes in the family of finite copying parallel rewriting systems, since a weak equivalence relation holds between these classes and deterministic tree-walking transducers, even when the complexity measures above are bounded.
We are grateful to Joost Engelfriet and Ryuichi Nakanisi for helpful discussion on topics related to this paper. This research was conducted while the second author was a post-doctoral fellow at the Institute for Research in Cognitive Science at the University of Pennsylvania. The research was sponsored by the following grants: ARO DAAL 03-89-C-0031; DARPA N00014-90-J-1863; NSF IRI 90-16592; and Ben Franklin 91S.3078C-1.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
A. V. Aho and J. D. Ullman. Properties of syntax directed translations. Journal of Computer and System Science, 3(3):319–334, 1969.
A. V. Aho and J. D. Ullman. Translations on a context-free grammar. Information and Control, 19:439–475, 1971.
M. Bauderon and B. Courcelle. Graph expressions and graph rewritings. Mathematical Systems Theory, 20:83–127, 1987.
J. Dassow and G. Paun. Regulated Rewriting in Formal Language Theory. Springer-Verlag, Berlin, Germany, 1989.
J. Engelfriet and L. Heyker. The string generating power of context-free hypergraph grammars. Journal of Computer and System Science, 43:328–360, 1991.
J. Engelfriet, G. Rozenberg, and G. Slutzki. Tree transducers, L systems, and two-way machines. Journal of Computer and System Science, 20:150–202, 1980.
O. Rambow and G. Satta. A two-dimensional hierarchy for finite copying parallel rewriting systems. Technical report, Institute for Research in Cognitive Science, University of Pennsylvania, Philadelphia, PA, 1994.
H. Seki, T. Matsumura, M. Fujii, and T. Kasami. On multiple context-free grammars. Theoretical Computer Science, 88:191–229, 1991.
J. W. Thatcher. Tree automata: An informal survey. In A. V. Aho, editor, Currents in the Theory of Computing, chapter 4, pages 143–172. Prentice-Hall, Englewood Cliffs, NJ, 1973.
D. J. Weir. Characterizing Mildly Context-Sensitive Grammar Formalisms. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1988.
D. J. Weir. Linear context-free rewriting systems and deterministic tree-walk transducers. In Proc. of the 30 th Meeting of the Association for Computational Linguistics (ACL'92), Newark, Delaware, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rambow, O., Satta, G. (1994). A rank hierarchy for deterministic tree-walking transducers. In: Tison, S. (eds) Trees in Algebra and Programming — CAAP'94. CAAP 1994. Lecture Notes in Computer Science, vol 787. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017490
Download citation
DOI: https://doi.org/10.1007/BFb0017490
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57879-6
Online ISBN: 978-3-540-48373-1
eBook Packages: Springer Book Archive