Advertisement

Order

, Volume 30, Issue 1, pp 151–164 | Cite as

A Note on Ordinal DFAs

  • Stephen L. Bloom
  • Yi Di Zhang
Article
  • 74 Downloads

Abstract

We prove the following theorem. Suppose that M is a trim DFA. Then \(\mathcal{L}(M)\) is well-ordered by the lexicographic order <  iff whenever the non sink states q, q.0 are in the same strong component, then q.1 is a sink. It is easy to see that this property is sufficient. In order to show the necessity, we analyze the behavior of a < -descending sequence of words. This property is used to obtain a polynomial time algorithm to determine, given a DFA M, whether \(\mathcal{L}(M)\) is well-ordered by the lexicographic order. Last, we apply an argument in Bloom and Ésik (Fundam Inform 99:383–407, 2010, Int J Found Comput Sci, 2011) to give a proof that the least nonregular ordinal is ω ω .

Keywords

Regular ordinal Lexicographic order Deterministic finite automaton 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Adamek, J.: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carol. 15, 589–602 (1974)MathSciNetMATHGoogle Scholar
  2. 2.
    Bloom, S.L., Choffrut, C.: Long words: the theory of concatenation and ω-power. Theor. Comp. Sci. 259, 533–548 (2001)MathSciNetMATHCrossRefGoogle Scholar
  3. 3.
    Bloom, S.L., Ésik, Z.: Deciding whether the frontier of a regular tree is scattered. Fundam. Inform. 11, 1–22 (2003)Google Scholar
  4. 4.
    Bloom, S.L., Ésik, Z.: A Mezei–Wright theorem for categorical algebras. Theor. Comp. Sci. 411, 341–359 (2010)MATHCrossRefGoogle Scholar
  5. 5.
    Bloom, S.L., Ésik, Z.: Algebraic linear orderings. Int. J. Found. Comput. Sci. 22(2), 491–515 (2011)MATHCrossRefGoogle Scholar
  6. 6.
    Bloom, S.L., Ésik, Z.: Algebraic ordinals. Fundam. Inform. 99, 383–407 (2010)MATHGoogle Scholar
  7. 7.
    Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press, Cambridge (2009)MATHGoogle Scholar
  8. 8.
    Courcelle, B.: A representation of trees by languages. Theor. Comp. Sci. 6, 255–279 and 7, 25–55 (1978)Google Scholar
  9. 9.
    Courcelle, B.: Fundamental properties of infinite trees. Theor. Comp. Sci. 25, 95–169 (1983)MathSciNetMATHCrossRefGoogle Scholar
  10. 10.
    Delhommé, Ch.: Automaticity of ordinals and of homogeneous graphs. C. R. Math. Acad. Sci. Paris 339(1), 5–10 (2004, in French)MathSciNetMATHCrossRefGoogle Scholar
  11. 11.
    Heilbrunner, S.: An algorithm for the solution of fixed-point equations for infinite words. RAIRO Inform. Theor. Appl. 14, 131–141 (1980)MathSciNetMATHGoogle Scholar
  12. 12.
    Ésik, Z.: Scattered Context-Free Linear Orderings. arXiv:1102.0850v2 (2011)
  13. 13.
    Rabin, M.: Decidability of second-order theories and automata on infinite trees. Trans. Am. Math. Soc. 141, 1–35 (1969)MathSciNetMATHGoogle Scholar
  14. 14.
    Wand, M.: Fixed point constructions in order-enriched categories. Theor. Comp. Sci. 8, 13–30 (1979)MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Department of Computer ScienceStevens Institute of TechnologyHobokenUSA
  2. 2.Department of MathematicsStevens Institute of TechnologyHobokenUSA

Personalised recommendations