On the equality sets for homomorphisms on free monoids with two generators
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1980)
- Volume: 14, Issue: 4, page 349-369
- ISSN: 0988-3754
Access Full Article
topHow to cite
topCulik II, K., and Karhumäki, J.. "On the equality sets for homomorphisms on free monoids with two generators." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 14.4 (1980): 349-369. <http://eudml.org/doc/92131>.
@article{CulikII1980,
author = {Culik II, K., Karhumäki, J.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {periodic homomorphisms on free monoids; equations in free monoids; Post's Correspondence Problem; equality set; periodicity forcing sets},
language = {eng},
number = {4},
pages = {349-369},
publisher = {EDP-Sciences},
title = {On the equality sets for homomorphisms on free monoids with two generators},
url = {http://eudml.org/doc/92131},
volume = {14},
year = {1980},
}
TY - JOUR
AU - Culik II, K.
AU - Karhumäki, J.
TI - On the equality sets for homomorphisms on free monoids with two generators
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1980
PB - EDP-Sciences
VL - 14
IS - 4
SP - 349
EP - 369
LA - eng
KW - periodic homomorphisms on free monoids; equations in free monoids; Post's Correspondence Problem; equality set; periodicity forcing sets
UR - http://eudml.org/doc/92131
ER -
References
top- 1. K. CULIK II, A Purely Homomorphic Characterization of Recurively Enumerable Sets, J. Assoc. Comput. Mach., Vol. 26, 1979, pp. 345-350. Zbl0395.68076MR528036
- 2. K. CULIK II, On Homomorphic Characterization of Families of Languages. Proceedings of the Six Inter. Colloquium an Automata, Languages and Programrning, Graz, Austria, pp. 161-170, July 1979. Zbl0412.68064MR573239
- 3. K. CULIK II and I. FRIS, The Decidability of the Equivalence Problem for DOL Systems, Inf. and Control, Vol. 35, 1977, pp.20-39. Zbl0365.68074MR449030
- 4. K. CULIK II and A. SALOMAA, On the Decidability of Homomorphism Equivalence for Languages, J. Comp. System Sc., Vol. 17, 1978, pp.163-175. Zbl0389.68042MR514269
- 5. K. CULIK II and A. SALOMAA, Test Sets and Checking words for Homomorphism Equivalence, J. Comp. System Sc., Vol. 20, 1980, pp. 379-395. Zbl0451.68046MR584866
- 6. K. CULIK II and H. A. MAURER, On Simple Representations of Language Families, R.A.I.R.O., Informatique théorique/Theoretical Informatics, Vol. 13, No. 3, 1979, pp. 241-250. Zbl0432.68052MR554685
- 7. A. EHRENFEUCHT and G. ROZENBERG, Elementary Homomorphisms and a Solution to the DOL Sequence Equivalence Problem, Theoretical Computer Science, Vol. 7, 1978, pp. 169-183. Zbl0407.68085MR509015
- 8. J. ENGELFRIET and G. ROZENBERG, Equality Languages and Fixed Point Languages, Inf. and Control, Vol. 43, 1979, pp. 20-49. Zbl0422.68034MR549263
- 9. J. KARHUMAKI and I. SIMON, A Note on Elementary Homomorphisms and the Regularity of Equality Sets, Bulletin E.A.T.C.S., No, 9, October 1979, pp. 16-24,
- 10. R. C. LYNDON and M. P. SCHUTZENBERGER, The Equation aM=bN cP in a Free Group, Michigan Math. J., Vol.9, 1962, pp. 289-298. Zbl0106.02204MR162838
- 11. G. S. MAKANIN, The Problem of Solvability of Equations in a Free Semigroup (in Russian), Matematiceskij Sbornik, Vol. 103, No. 145, 1977, pp. 148-236. Zbl0371.20047MR470107
- 12. A. SALOMAA, Equality Sets for Homomorphisms of Free Monoids, Acta Cybernetica, Vol. 4, 1978, pp.127-139. Zbl0407.68077MR521458
- 13. A. SALOMAA, DOL Equivalence: The Problem of Iterated Morphisms, Bulletin E.A.T.C.S., No. 4, January 1978, pp. 5-12
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.