@article{ITA_1983__17_3_205_0,
author = {Culik, Karel Ii and Karhum\"aki, Juhani},
title = {On the {Ehrenfeucht} conjecture for {DOL} languages},
journal = {RAIRO. Informatique th\'eorique},
pages = {205--230},
year = {1983},
publisher = {EDP Sciences},
volume = {17},
number = {3},
mrnumber = {743886},
zbl = {0544.68050},
language = {en},
url = {https://www.numdam.org/item/ITA_1983__17_3_205_0/}
}
Culik, Karel Ii; Karhumäki, Juhani. On the Ehrenfeucht conjecture for DOL languages. RAIRO. Informatique théorique, Tome 17 (1983) no. 3, pp. 205-230. https://www.numdam.org/item/ITA_1983__17_3_205_0/
1. , and , Tests Sets for Context Free Languages and Systems of Equations Over a Free Monoid, Information and Control, Vol. 52, 1982, pp. 172-186. | Zbl | MR
2. , The Ultimate Equivalence Problemfor DOL Systems, Acta Informatica, Vol. 10, 1978, pp. 79-84. | Zbl | MR
3. , Homomorphisms: Decidability, Equality and Test Sets, in R. BOOK, Ed., Formal Language Theory, Perspectives and Open Problems, Academic Press, New York, 1980.
4. , On the Decidability of the Séquence Equivalence Problem for DOL Systems, Theor. Comp. Science, Vol. 3, 1977, pp. 75-84. | Zbl | MR
5. and , Systems of Equations Over a Free Monoid and Ehrenfeucht's Conjecture, Discrete Mathematics, Vol. 43, 1983, pp. 139-153. | Zbl | MR
6. and , On the Decidability of Homomorphism Equivalence for Languages, J. Comput. Systems Sc., Vol. 17, 1978, pp. 163-175. | Zbl | MR
7. and , Test Sets and Checking Words for Homomorphism Equivalence, J. Comput. Systems Sc., Vol. 21, 1980, pp. 379-395. | Zbl | MR
8. and , Rational Sets in Commutative Monoids, J. of Algebra, Vol. 13, 1969, pp. 173-191. | Zbl | MR
9. , Introduction to Formal Language Theory, Addison-Wesley, Reading, Massachusetts, 1978. | Zbl | MR
10. and , A Note on Elementary Homomorphisms and the Regularity of Equality Sets, EATCS Bulletin, Vol. 9, 1979, pp. 16-24.
11. M.KARPINSK, Ed., New Scottish Book of Problems, in preparation.
12. and , On Finite Semigroups of Matrices, Theor. Comp. Science, Vol. 5, 1977, pp. 101-111. | Zbl | MR
13. and , The Mathematical Theory of L Systems. Academic Press, New York, 1980. | Zbl | MR
14. and , Automata-Theoretic Aspects of Formal Power Series, Springer Verlag, New York, 1978. | Zbl | MR






