×

Homomorphic images of sentential form languages defined by semi-Thue systems. (English) Zbl 0542.68059

This article is reviewed together with the following one.

MSC:

68Q45 Formal languages and automata

Citations:

Zbl 0542.68060
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Berstel, J., Congruences plus que parfaites et langages algébriques, (Seminaire d’Informatique Théorique (1976-1977), Inst. de Programmation: Inst. de Programmation Paris), 123-147
[2] Book, R. V., Confluent and other types of Thue systems, J. ACM, 29, 171-182 (1982) · Zbl 0478.68032
[3] Book, R. V.; Jantzen, M.; Wrathall, C., Monadic Thue systems, Theoret. Comput. Sci., 19, 231-251 (1982) · Zbl 0488.03020
[4] Butzbach, Ph., Une famille de congruences de Thue pour les quelles le problème de l’équivalence est décidable. Application à l’équivalence des grammaires séparées, (Nivat, M., Automata, Languages and Programming (1973), North-Holland: North-Holland Amsterdam), 3-12 · Zbl 0274.02012
[5] Ehrenfeucht, A.; Rozenberg, G., Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems, Acta Inform., 3, 265-283 (1974) · Zbl 0313.68062
[6] Gabrielian, A., Pure grammars and pure languages, (Res. Rept. CSRR 2027 (1970), Dept. Comput. Sci., Univ. of Waterloo). (Res. Rept. CSRR 2027 (1970), Dept. Comput. Sci., Univ. of Waterloo), Internat. J. Comput. Math., 9, 3-16 (1981), also: · Zbl 0454.68097
[7] Herman, G. T.; Rozenberg, G., Developmental Systems and Languages (1975), North-Holland: North-Holland Amsterdam · Zbl 0313.68068
[8] Hopcroft, J. E.; Ullman, J. D., Introduction to Automata Theory, Languages, and Computation (1979), Addison-Wesley: Addison-Wesley Reading, MA · Zbl 0196.01701
[9] van Leeuwen, J., Effective constructions in well-partially-ordered free monoids, Discrete Math., 21, 237-252 (1978) · Zbl 0384.68073
[10] Maurer, H. A.; Salomaa, A.; Wood, D., Pure grammars, Inform. and Control, 44, 47-72 (1980) · Zbl 0446.68063
[11] Rozenberg, G.; Salomaa, A., The Mathematical Theory of L-Systems (1980), Academic Press: Academic Press New York · Zbl 0365.68072
[12] Salomaa, A., Formal Languages (1973), Academic Press: Academic Press New York · Zbl 0262.68025
[13] Walker, A., Dynamically stable strings in developmental systems self-repair, and the Chomsky hierarchy, Proc. 1974 Conf. on Biologically Motivated Automata Theory, 46-49 (1974), McLean, VA
[14] Salomaa, A., On sentential forms of context-free grammars, Acta Inform., 2, 40-49 (1973) · Zbl 0264.68029
[15] Nielsen, M.; Rozenberg, G.; Salomaa, A.; Skyum, S., Nonterminals, homomorphisms and codings in different variations of 0L-systems. I: Deterministic systems, Acta Inform., 4, 87-106 (1974) · Zbl 0357.68094
[16] Nielsen, M.; Rozenberg, G.; Salomaa, A.; Skyum, S., Nonterminals, homomorphisms and codings in different variations of 0L-systems. II: Nondeterministic systems, Acta Inform., 3, 357-364 (1974) · Zbl 0307.68057
[17] Jantzen, M.; Kudlek, M., Homomorphic images of sentential form languages defined by semi-Thue systems, (Res. Rept. FBI-HH-89/83 (1983), Univ. Hamburg) · Zbl 0542.68060
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.