×

Formal languages defined by uniform substitutions. (English) Zbl 0821.68073

Summary: When a uniform substitution is applied to a word, the same letter at different positions in the word is transformed everywhere in the same way. Thus, a uniform substitution \(S_ H\) is determined by a set \(H\) of homomorphisms. We define recognizable and rational sets of homomorphisms and we prove closure and non-closure properties of the class of languages of the form \(S_ H(L)\), where \(L\) is regular and \(H\) is recognizable. We also show that in this case (and in more general situations as well) the membership problem for \(S_ H(L)\) is solvable in deterministic polynomial time.

MSC:

68Q45 Formal languages and automata
Full Text: DOI

References:

[1] Albert, J.; Wegner, L., Languages with homomorphic replacements, Automata, Languages and Programming, 7th Coll., 19-29 (1980) · Zbl 0443.68063
[2] Berstel, J., Transductions and Context-free Languages (1979), Teubner: Teubner Leipzig · Zbl 0424.68040
[3] J.C. Birget, Two-way automata and length-preserving homomorphisms, Math. Systems Theory; J.C. Birget, Two-way automata and length-preserving homomorphisms, Math. Systems Theory · Zbl 0846.68071
[4] J.C. Birget, The membership problem for rational transductions between free monoids is complete in NSpace; J.C. Birget, The membership problem for rational transductions between free monoids is complete in NSpace
[5] Eilenberg, S., Automata, Languages, and Machines, Vol. A (1974), Academic Press: Academic Press New York · Zbl 0317.94045
[6] Harrison, M., Introduction to Formal Language Theory (1978), Addison-Wesley: Addison-Wesley Reading, MA · Zbl 0411.68058
[7] Hopcroft, J.; Ullman, J., Introduction to Automata Theory, Languages and Computation (1979), Addison-Wesley: Addison-Wesley Reading, MA · Zbl 0426.68001
[8] Rozenberg, G.; Salomaa, A., The Mathematical Theory of L-systems (1980), Academic Press: Academic Press New York · Zbl 0365.68072
[9] Stephen, J., Contractive presentations: A family of inverse monoids and semigroups with finite \(R\)-classes, Semigroup Forum, 44, 255-270 (1992) · Zbl 0751.20039
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.