Abstract
We present a measure on the structural complexity of finite and infinite trees and provide some first result on its relation to context-free grammars and context-free tree grammars. In particular this measure establishes a relation between the complexity of a language as a set, and the complexity of the objects it contains. We show its precise nature and prove its decidability for the formalisms we consider.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Berstel, J.: Transductions and Context-free Languages. Teubner, Stuttgart (1979)
Engelfriet, J., Schmidt, E.M.: Io and oi. i. J. Comput. Syst. Sci. 15(3), 328–353 (1977)
Fraïssé, R.: Theory of Relations. Studies in logic and the foundations of mathematics, vol 118. North-Holland (1986)
Greibach, S.A.: Chains of full AFL’s. Mathematical Systems Theory 4, 231–242 (1970)
Hawkins, J.A.: Efficiency and Complexity in Grammars. Oxford Univ. Pr., Oxford (2004)
Hofbauer, D., Huber, M., Kucherov, G.: Some results on top-context-free tree languages. In: Tison, S. (ed.) CAAP 1994. LNCS, vol. 787, pp. 157–171. Springer, Heidelberg (1994)
Kepser, S., Rogers, J.: The equivalence of tree adjoining grammars and monadic linear context-free tree grammars. Journal of Logic, Language and Information 20(3), 361–384 (2011)
Kracht, M.: The Mathematics of Language. Studies in Generative Grammar, vol. 63. Mouton de Gruyter, Berlin (2003)
Rounds, William C.: Mappings and grammars on trees. Mathematical Systems Theory 4(3), 257–287 (1970)
Rubin, S.: Automata presenting structures: A survey of the finite string case. Bulletin of Symbolic Logic 14(2), 169–209 (2008)
Seki, H., Matsumura, T., Fujii, M., Kasami, T.: On multiple context–free grammars. Theor. Comp. Sci. 88, 191–229 (1991)
Simmons, H.: The extendend Cantor-Bendixson analysis of trees. Algebra Universalis 52, 439–468 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wurm, C. (2014). The Cantor-Bendixson Analysis of Finite Trees. In: Morrill, G., Muskens, R., Osswald, R., Richter, F. (eds) Formal Grammar. FG 2014. Lecture Notes in Computer Science, vol 8612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44121-3_12
Download citation
DOI: https://doi.org/10.1007/978-3-662-44121-3_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44120-6
Online ISBN: 978-3-662-44121-3
eBook Packages: Computer ScienceComputer Science (R0)