Homomorphisms preserving linear conjunctive languages

  • Authors:
  • Alexander Okhotin

  • Affiliations:
  • Department of Mathematics, University of Turku, Turku, Finland and Academy of Finland

  • Venue:
  • Journal of Automata, Languages and Combinatorics
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

It is proved that a homomorphism h preserves the class of languages generated by linear conjunctive grammars (equivalently, recognized by trellis automata, also known as one-way real-time cellular automata) if and only if either h is injective, or h maps every symbol to the empty string. The transformation is effective in the former case and cannot be effectively done in the latter case.