Advertisement

On Context-Free Languages of Scattered Words

  • Zoltan Ésik
  • Satoshi Okawa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7410)

Abstract

It is known that if a Büchi context-free language (BCFL) consists of scattered words, then there is an integer n, depending only on the language, such that the Hausdorff rank of each word in the language is bounded by n. Every BCFL is a Muller context-free language (MCFL). In the first part of the paper, we prove that an MCFL of scattered words is a BCFL iff the rank of every word in the language is bounded by an integer depending only on the language. Then we establish operational characterizations of the BCFLs of well-ordered and scattered or well-ordered words.

Keywords

Linear Ordering Order Type Syntactic Category Derivation Tree Tree Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arnold, A., Niwinski, D.: Rudiments of the μ-Calculus. Elsevier (2011)Google Scholar
  2. 2.
    Bedon, N.: Finite automata and ordinals. Theoretical Computer Science 156, 119–144 (1996)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Bedon, N., Bès, A., Carton, O., Rispal, C.: Logic and Rational Languages of Words Indexed by Linear Orderings. In: Hirsch, E.A., Razborov, A.A., Semenov, A., Slissenko, A. (eds.) CSR 2008. LNCS, vol. 5010, pp. 76–85. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Bès, A., Carton, O.: A Kleene Theorem for Languages of Words Indexed by Linear Orderings. In: De Felice, C., Restivo, A. (eds.) DLT 2005. LNCS, vol. 3572, pp. 158–167. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Bloom, S.L., Choffrut, C.: Long words: the theory of concatenation and ω-power. Theoretical Computer Science 259, 533–548 (2001)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Bloom, S.L., Ésik, Z.: Iteration Theories. EATCS Monograph Series in Theoretical Computer Science. Springer (1993)Google Scholar
  7. 7.
    Bloom, S.L., Ésik, Z.: Axiomating omega and omega-op powers of words. Theoretical Informatics and Applications 38, 3–17 (2004)MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Bloom, S.L., Ésik, Z.: The equational theory of regular words. Information and Computation 197, 55–89 (2005)MathSciNetzbMATHCrossRefGoogle Scholar
  9. 9.
    Bloom, S.L., Ésik, Z.: Regular and Algebraic Words and Ordinals. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 1–15. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Bloom, S.L., Ésik, Z.: Algebraic ordinals. Fundamenta Informaticae 99, 383–407 (2010)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Bloom, S.L., Ésik, Z.: Algebraic linear orderings. Int. J. Foundations of Computer Science 22, 491–515 (2011)zbMATHCrossRefGoogle Scholar
  12. 12.
    Boasson, L.: Context-free Sets of Infinite Words. In: Weihrauch, K. (ed.) GI-TCS 1979. LNCS, vol. 67, pp. 1–9. Springer, Heidelberg (1979)Google Scholar
  13. 13.
    Bruyère, V., Carton, O.: Automata on linear orderings. J. Computer and System Sciences 73, 1–24 (2007)zbMATHCrossRefGoogle Scholar
  14. 14.
    Büchi, J.R.: The monadic second order theory of ω 1. In: Decidable Theories, II. Lecture Notes in Math., vol. 328, pp. 1–127. Springer (1973)Google Scholar
  15. 15.
    Choueka, Y.: Finite automata, definable sets, and regular expressions over ω n-tapes. J. Computer and System Sciences 17(1), 81–97 (1978)MathSciNetzbMATHCrossRefGoogle Scholar
  16. 16.
    Cohen, R.S., Gold, A.Y.: Theory of ω-languages, parts one and two. J. Computer and System Sciences 15, 169–208 (1977)MathSciNetzbMATHCrossRefGoogle Scholar
  17. 17.
    Courcelle, B.: Frontiers of infinite trees. Theoretical Informatics and Applications 12, 319–337 (1978)MathSciNetzbMATHGoogle Scholar
  18. 18.
    Eilenberg, S.: Automata, Languages, and Machines, vol. A. Academic Press (1974)Google Scholar
  19. 19.
    Ésik, Z.: An undecidable property of context-free linear orders. Information Processing Letters 111, 107–109 (2011)MathSciNetCrossRefGoogle Scholar
  20. 20.
    Ésik, Z.: Scattered Context-Free Linear Orderings. In: Mauri, G., Leporati, A. (eds.) DLT 2011. LNCS, vol. 6795, pp. 216–227. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  21. 21.
    Ésik, Z., Iván, S.: Context-free ordinals, arXiv:1103.5421v1 (2011)Google Scholar
  22. 22.
    Ésik, Z., Ito, M., Kuich, W.: Linear languages of finite and infinite words. In: Proc. Automata, Formal Languages, and Algebraic Systems, pp. 33–46. World Scientific (2010)Google Scholar
  23. 23.
    Ésik, Z., Iván, S.: Büchi context-free languages. Theoretical Computer Science 412, 805–821 (2011); Extended Abstract in Proc. ICTAC 2009, (Kuala Lumpur), LNCS, vol. 5684, pp. 185–199. Springer (2009) MathSciNetzbMATHCrossRefGoogle Scholar
  24. 24.
    Ésik, Z., Iván, S.: On Muller context-free grammars. Theoretical Computer Science (to appear); Extended Abstract in Proc. Developments in Language Theory, (London, ON, 2010), LNCS, vol. 6224, pp. 173–184. Springer (2010)Google Scholar
  25. 25.
    Ésik, Z., Kuich, W.: On iteration semiring-semimodule pairs. Semigroup Forum 75, 129–159 (2007)MathSciNetzbMATHCrossRefGoogle Scholar
  26. 26.
    Ésik, Z., Okawa, S.: On context-free languages of scattered words, arxiv: 1111.3439 (2011)Google Scholar
  27. 27.
    Gécseg, F., Steinby, M.: Tree Automata. Akadémiai Kiadó, Budapest (1984)Google Scholar
  28. 28.
    Golan, J.S.: The Theory of Semirings with Applications in Computer Science. Longman Scientific and Technical (1993)Google Scholar
  29. 29.
    Gruska, J.: A characterization of context-free languages. J. Computer and System Sciences 5, 353–364 (1971)MathSciNetzbMATHCrossRefGoogle Scholar
  30. 30.
    Heilbrunner, S.: An algorithm for the solution of fixed-point equations for infinite words. Theoretical Informatics and Applications 14, 131–141 (1980)MathSciNetzbMATHGoogle Scholar
  31. 31.
    Iván, S., Mészáros, Á.: On Muller context-free grammars generating well-ordered words. In: Proc. Automata and Formal Languages, AFL 2011, Debrecen (2011)Google Scholar
  32. 32.
    Khoussainov, B., Rubin, S., Stephan, F.: Automatic linear orders and trees. ACM Transactions on Computational Logic (TOCL) 6, 675–700 (2005)MathSciNetCrossRefGoogle Scholar
  33. 33.
    Lohrey, M., Mathissen, C.: Isomorphism of Regular Trees and Words. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol. 6756, pp. 210–221. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  34. 34.
    Muller, R.: Infinite sequences and finite machines. In: 4th Annual Symposium on Switching Circuit Theory and Logical Design, pp. 3–16. IEEE Computer Society (1963)Google Scholar
  35. 35.
    Niwinski, D.: Fixed points vs. infinite generation. In: 3rd Ann. IEEE Symp. Logic in Comp. Sci., pp. 402–409. IEEE Press (1988)Google Scholar
  36. 36.
    Nivat, M.: Sur les ensembles de mots infinis engendrés par une grammaire algébrique. Theoretical Informatics and Applications 12, 259–278 (1978) (French)MathSciNetzbMATHGoogle Scholar
  37. 37.
    Perrin, D., Pin, J.-E.: Infinite Words. Elsevier (2004)Google Scholar
  38. 38.
    Rosenstein, J.G.: Linear Orderings. Academic Press (1982)Google Scholar
  39. 39.
    Thomas, W.: On frontiers of regular sets. Theoretical Informatics and Applications 20, 371–381 (1986)zbMATHGoogle Scholar
  40. 40.
    Thomas, W.: Automata on infinite objects. In: van Leuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, pp. 133–192. Elsevier Science Publishers, Amsterdam (1990)Google Scholar
  41. 41.
    Wojciechowski, J.: Classes of transfinite sequences accepted by finite automata. Fundamenta Informaticae 7, 191–223 (1984)MathSciNetzbMATHGoogle Scholar
  42. 42.
    Wojciechowski, J.: Finite automata on transfinite sequences and regular expressions. Fundamenta Informaticae 8, 379–396 (1985)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Zoltan Ésik
    • 1
  • Satoshi Okawa
    • 2
  1. 1.Dept. of Computer ScienceUniversity of SzegedHungary
  2. 2.School of Computer Science and EngineeringUniversity of AizuJapan

Personalised recommendations