Culik, Karel II; Harju, Tero Dominoes over a free monoid. (English) Zbl 0509.68068 Theor. Comput. Sci. 18, 279-300 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 68Q45 Formal languages and automata 20M35 Semigroups in automata theory, linguistics, etc. Keywords:quotient alphabet; decidability problems PDFBibTeX XMLCite \textit{K. Culik II} and \textit{T. Harju}, Theor. Comput. Sci. 18, 279--300 (1982; Zbl 0509.68068) Full Text: DOI References: [1] Culik, K., Some decidability results about regular and push down translations, Information Processing Lett., 8, 5-8 (1979) · Zbl 0397.68083 [2] Culik, K., Homomorphisms: decidability, equality and test sets, (Book, R., Formal Language Theory, Perspectives and Open Problems (1980), Academic Press: Academic Press New York), 167-194 [3] Culik, K.; Fris, J., The decidability of the equivalence problem for DOL-systems, Information and Control, 35, 20-39 (1977) · Zbl 0365.68074 [4] Culik, K.; Salomaa, A., On the decidability of homomorphism equivalence for languages, J. Comput. System Sci., 17, 113-175 (1978) · Zbl 0389.68042 [5] Ehrenfeucht, A.; Rozenberg, G., Every two equivalent DOL systems have a regular true envelope, Theoret. Comput. Sci., 10, 45-52 (1980) · Zbl 0471.68048 [6] Rozenberg, G.; Salomaa, A., The Mathematical Theory of L Systems (1980), Academic Press: Academic Press New York · Zbl 0365.68072 [7] Salomaa, A., Formal Languages (1973), Academic Press: Academic Press New York · Zbl 0262.68025 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.