Abstract
We define regular expressions for unranked trees (actually, ordered sequences of unranked trees, called forests). These are compared to existing regular expressions for trees. On the negative side, our expressions have complementation, and do not define all regular languages. On the positive side, our expressions do not use variables, and have a syntax very similar to that of regular expressions for word languages.
We examine the expressive power of these expressions, especially from a logical point of view. The class of languages defined corresponds to a form of chain logic [5,6]. Furthermore, the star-free expressions coincide with first-order logic. Finally, we show that a concatenation hierarchy inside the expressions corresponds to the quantifier prefix hierarchy for first-order logic, generalizing a result of Thomas.
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
Bojańczyk, M., Walukiewicz, I.: Forest algebras (unpublished manuscript), http://hal.archives-ouvertes.fr/ccsd-00105796
Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree automata techniques and applications, 2002 (October 1, 2002), Available on: http://www.grappa.univ-lille3.fr/tata
McNaughton, R., Papert, S.: Counter-Free Automata. MIT Press, Cambridge (1971)
Thomas, W.: Classifying regular events in symbolic logic. Journal of Computer and System Sciences 25, 360–375 (1982)
Thomas, W.: Logical aspects in the study of tree languages. In: Colloquium on Trees and Algebra in Programming, pp. 31–50 (1984)
Thomas, W.: On chain logic, path logic, and first-order logic over infinite trees. In: Logic in Computer Science, pp. 245–256 (1987)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bojańczyk, M. (2007). Forest Expressions. In: Duparc, J., Henzinger, T.A. (eds) Computer Science Logic. CSL 2007. Lecture Notes in Computer Science, vol 4646. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74915-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-74915-8_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74914-1
Online ISBN: 978-3-540-74915-8
eBook Packages: Computer ScienceComputer Science (R0)