Homomorphisms Preserving Deterministic Context-Free Languages

  • Tommi Lehtinen
  • Alexander Okhotin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7410)


The paper characterizes the family of homomorphisms, under which the deterministic context-free languages, the LL context-free languages and the unambiguous context-free languages are closed. The family of deterministic context-free languages is closed under a homomorphism h if and only if h is either a code of bounded deciphering delay, or the images of all symbols under h are powers of the same string. The same characterization holds for LL context-free languages. The unambiguous context-free languages are closed under h if and only if either h is a code, or the images of all symbols under h are powers of the same string.


Regular Language Closure Property Nonterminal Symbol Free Language Synchronization Delay 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Autebert, J., Berstel, J., Boasson, L.: Context-free languages and pushdown automata. In: Rozenberg, Salomaa (eds.) Handbook of Formal Languages, vol. 1, pp. 111–174. Springer (1997)Google Scholar
  2. 2.
    Berstel, J., Perrin, D., Reutenauer, C.: Codes and Automata. Cambridge University Press (2010)Google Scholar
  3. 3.
    Bruyère, V.: Maximal codes with bounded deciphering delay. Theoretical Computer Science 84(1), 53–76 (1991)zbMATHCrossRefGoogle Scholar
  4. 4.
    Chomsky, N., Schützenberger, M.P.: The algebraic theory of context-free languages. In: Braffort, Hirschberg (eds.) Computer Programming and Formal Systems, pp. 118–161. North-Holland, Amsterdam (1963)CrossRefGoogle Scholar
  5. 5.
    Ginsburg, S., Greibach, S.A.: Deterministic context-free languages. Information and Control 9(6), 620–648 (1966)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Ginsburg, S., Ullian, J.: Preservation of unambiguity and inherent ambiguity in context-free languages. Journal of the ACM 13(3), 364–368 (1966)MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Lehtinen, T., Okhotin, A.: Boolean grammars and gsm mappings. International Journal of Foundations of Computer Science 21(5), 799–815 (2010)MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Lothaire, M.: Combinatorics on Words. Addison-Wesley (1983)Google Scholar
  9. 9.
    Okhotin, A.: On the equivalence of linear conjunctive grammars to trellis automata. RAIRO Informatique Théorique et Applications 38(1), 69–88 (2004)MathSciNetzbMATHCrossRefGoogle Scholar
  10. 10.
    Okhotin, A.: Homomorphisms preserving linear conjunctive languages. Journal of Automata, Languages and Combinatorics 13(3-4), 299–305 (2008)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Restivo, A.: A combinatorial property of codes having finite synchronization delay. Theoretical Computer Science 1(2), 95–101 (1975)MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Rosenkrantz, D.J., Stearns, R.E.: Properties of deterministic top-down grammars. Information and Control 17, 226–256 (1970)MathSciNetzbMATHCrossRefGoogle Scholar
  13. 13.
    Schützenberger, M.P.: On a question concerning certain free submonoids. Journal of Combinatorial Theory 1(4), 437–442 (1966)zbMATHCrossRefGoogle Scholar
  14. 14.
    Staiger, L.: On infinitary finite length codes. RAIRO Informatique Théorique et Applications 20(4), 483–494 (1986)MathSciNetzbMATHGoogle Scholar
  15. 15.
    Wood, D.: A further note on top-down deterministic languages. Computer Journal 14(4), 396–403 (1971)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Tommi Lehtinen
    • 1
    • 2
  • Alexander Okhotin
    • 1
  1. 1.Department of MathematicsUniversity of TurkuTurkuFinland
  2. 2.Turku Centre for Computer ScienceFinland

Personalised recommendations