Abstract
Regular trees can be defined by two types of rational expressions, For these two types we solve the star-height problem i.e. we show how to construct a rational expression of minimal star-height from the minimal graph of the given tree (i.e. the analogous of the minimal deterministic automaton for regular langages). In one case, the minimal star-height is the rank (in the sense of Eggan) of the minimal graph. There corresponds a caracterization of the star-height of a prefix-free regular langage w.r.t rational expressions of a special kind (called determinstic) as the rank of its minimal deterministic automaton considered as a graph.
Preview
Unable to display preview. Download preview PDF.
References
H. Barendregt, The lambda-calculus, studies in logic Vol.103, North-Holland Amsterdam, 1981.
S. Bloom, C. Elgot, The existence and construction of free iterative theories. J.Comput.System Sci. 12(1976) pp.305–318.
R. Cohen, Star-height of certain families of regular events, J.Comput.System Sci.4(1970) pp.281–297.
R. Cohen, Techniques for establishing star-height of regular sets, Math.Systems Theory 5(1971) pp.97–114.
R. Cohen, Rank non-increasing transformations on transition graphs, Information and Control 20(1972) pp.93–113.
R. Cohen, J. Brzozowski, General properties of star-height of regular events, J.Comput.System Sci.4(1970) pp.260–280.
B. Courcelle, A representation of trees by languages, Theor.Comput. Sci.6(1978)255–279 and 7(1978) pp.25–55.
B. Courcelle, Fundamental properties of infinite trees, Theor.Comput.Sci. 25(1983) pp.95–169.
G. Cousineau, An algebraic definition for control structures, Theor.Comput. Sci.12(1980)175–192.
L. Eggan, Transition graphs and the star-height of regular events, Michigan Math.J.10(1963)385–397.
S. Eilenberg, Automata, Languages and Machines, Vol. A, Academic Press, New-York, 1974.
C. Elgot, Monadic computations and iterative algebraic theories, in: H.E. Rose, ed. Logic Colloquium'73, North-Holland, Amsterdam 1975, pp.175–230.
C. Elgot, S. Bloom, R. Tindell, The algebraic structure of rooted trees, J.Comput.System Sci.16(1978)362–399.
S. Cinali, Regular trees and the free iterative theory, J.Comput.Sci. 18(1979) pp.228–242.
G. Huet, Confluent reductions:abstract properties and applications to term rewriting systems, J.Assoc.Comput.Mach. 27(1980) pp.797–821.
G.Jacob, Calcul du rang des arbres infinis reguliers, Proc.CAAP'81, Lec.Notes Comput.Sci. Vol.112, Springer 1981, pp.238–254.
R. McNaughton, The loop complexity of pure-group events, Information and Control 11(1967)167–176.
R.McNaughton, The loop complexity of regular events, Inform.Sci.1(1969) 305–328.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Braquelaire, J.P., Courcelle, B. (1985). The solution of two star-height problems for regular trees. In: Nivat, M., Perrin, D. (eds) Automata on Infinite Words. LITP 1984. Lecture Notes in Computer Science, vol 192. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15641-0_28
Download citation
DOI: https://doi.org/10.1007/3-540-15641-0_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15641-3
Online ISBN: 978-3-540-39505-8
eBook Packages: Springer Book Archive