Recognizing splicing languages: Syntactic monoids and simultaneous pumping
We use syntactic monoid methods, together with an enhanced pumping lemma, to investigate the structure of splicing languages. We obtain an algorithm for deciding whether a regular language is a reflexive splicing language, but the general question remains open.
splicing languages reflexive splicing languages splicing systems dna splicing