Abstract

It is noted, by using ideas of Culik, Fich and Salomaa [3], that for each language L and each regular language R the language L ∩ R is obtained from L# by applying the operation ‘a morphism followed by an inverse morphism' twice. As a consequence new purely morphic characterizations, based on the Dyck language D 2 and the twin-shuffle language L 2, are derived for the families of context-free and recursively enumerable languages, respectively. Also a morphic representation result for rational transductions follows.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call