Abstract
We prove a new result on N-rational series in one variable. This result gives, under an appropriate hypothesis, a necessary and sufficient condition for an N-rational series to be of star-height 1. The proof uses a theorem of Handelman on integral companion matrices.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
M. BOYLE. Symbolic dynamics and matrices. In R. Brualdi S. Friedland and V. Klee, editors, Combinatorial and Graph-Theoretic Problems in Linear Algebra, volume 50 of IMA Volumes in Mathematics and Its Applications. 1994.
J. BERSTEL and C. REUTENAUER. Rational series and their languages. Springer-Verlag, Berlin, 1988.
L. C. EGGAN. Transition graphs and star height of regular events. Michigan Math. J., (10):385–397, 1963.
F.R. GANTMACHER. The theory of matrices. Chelsea, New-York, 1959.
D.E. HANDELMAN. Spectral radii of primitive integral companion matrices and log-concave polynomials. In Peter Walters, editor, Symbolic Dynamic and its Applications, volume 135 of Contempory Mathemetics, pages 231–238. 1992.
K. HASHIGUCHI. Relative star-height, star-height and finite automata with distance functions. In J.-E. Pin, editor, Formal Properties of finite automata and applications, volume 386 of Lecture Notes In Computer Sciences, pages 74–88. Springer, 1989.
T. KATAYAMA, M. OKAMOTO, and H. ENOMOTO. Characterization of the structure-generating functions of regular sets and DOL growth functions. Inform. and Control, 36:85–101, 1978.
D. LIND. The entropies of topological Markov shifts and a related class of algebraic integers. Ergod. Th. and Dynam. Syst., 4:283–300, 1984.
H. MINC. Nonnegative matrices. Wiley Inter-Sciences, 1988.
D. PERRIN. On positive matrices. Theoret.Comput.Sci, 94:357–366, 1992.
M. SOITTOLA. Positive rational sequences. Theoret.Comput.Sci, (2): 317–322, 1976.
A. SALOMAA and M. SOITTOLA. Automata theoretic aspect of formal power series. Springer-Verlag, Berlin, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bassino, F. (1996). Star-height of an N-rational series. In: Puech, C., Reischuk, R. (eds) STACS 96. STACS 1996. Lecture Notes in Computer Science, vol 1046. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60922-9_11
Download citation
DOI: https://doi.org/10.1007/3-540-60922-9_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60922-3
Online ISBN: 978-3-540-49723-3
eBook Packages: Springer Book Archive