Abstract
We characterize the first-order definable sets of finite trees in terms of appropriate star-free tree expressions and show that for sets of trees first-order definability is strictly weaker than aperiodicity. These two theorems show how far the results of McNaughton and Schützenberger on starfree sets of words (stating the equivalence between first-order definability, star-freeness, and aperiodicity) are transferable to the context of trees. Both results of the paper rely on the method of the Ehrenfeucht-Fraissé-game.
The author was supported by the Deutsche Forschungsgemeinschaft.
Preview
Unable to display preview. Download preview PDF.
References
Büchi, J.R. (1960), Weak second-order arithmetic and finite automata, Z. math. Logik Grundlagen Math. 6, 66–92.
Doner, J. (1970), Tree acceptors and some of their applications, J. of Comp. and System Sci. 4, 406–451.
Elgot, C.C. (1961), Decision problems of finite automata design and related arithmetics, Trans. Amer. Math. Soc. 98, 21–52.
Gecseg, F. & Steinby, M. (1984), "Tree Automata", Akademiai Kiado, Budapest 1984.
Heuter, U. (1986), Baumsprachen in der Logik erster Stufe: Eine Charakterisierung durch reguläre Ausdrücke, Schriften zur Informatik und angewandten Mathematik 122, RWTH Aachen.
Mc Naughton, R. & Papert, S. (1971), "Counter-free Automata", MIT-Press, Cambridge, Mass., 1971.
Meyer, A.R. (1969), A note on star-free events, J. Assoc. Comput. Mach. 16, 220–225.
Rosenstein, J.G. (1982), "Linear Orderings", Academic Press, New York.
Schützenberger, M.P. (1965), On monoids having only nontrivial subgroups, Inform. Contr. 8, 190–194.
Thomas, W. (1982), Classifying regular events in symbolic logic, J. of Comput. and System Sci. 25, 360–376.
Thomas, W. (1984), Logical aspects in the study of tree languages, Ninth colloquium on trees in algebra and programming (B. Courcelle Ed.), Cambridge Univ. Press, 31–51.
Thatcher, J.W. & Wright, J.B. (1968), Generalized finite automata with an application to a decision problem of second-order logic, Math. Syst. Theory 2, 57–82.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heuter, U. (1988). First-order properties of trees, star-free expressions, and aperiodicity. In: Cori, R., Wirsing, M. (eds) STACS 88. STACS 1988. Lecture Notes in Computer Science, vol 294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035840
Download citation
DOI: https://doi.org/10.1007/BFb0035840
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18834-6
Online ISBN: 978-3-540-48190-4
eBook Packages: Springer Book Archive