Abstract.
We extend the notion of a special factor of a word to complete trees with labeled nodes. This allows us to establish some uniqueness conditions for rational trees which are natural extensions of analogous results for ultimately periodic words. As an application to rational languages, we obtain an improvement of Moore's result on Automata Equivalence.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received July 18, 2000. Online publication May 18, 2001.
Rights and permissions
About this article
Cite this article
Carpi, A., de Luca, A. & Varricchio, S. Special Factors and Uniqueness Conditions in Rational Trees. Theory Comput. Systems 34, 375–395 (2001). https://doi.org/10.1007/s00224-001-1006-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-001-1006-6