@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}, publisher = {EDP-Sciences}, volume = {17}, number = {3}, year = {1983}, mrnumber = {743886}, zbl = {0544.68050}, language = {en}, url = {http://archive.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. http://archive.numdam.org/item/ITA_1983__17_3_205_0/
1. Tests Sets for Context Free Languages and Systems of Equations Over a Free Monoid, Information and Control, Vol. 52, 1982, pp. 172-186. | MR | Zbl
, and ,2. The Ultimate Equivalence Problemfor DOL Systems, Acta Informatica, Vol. 10, 1978, pp. 79-84. | MR | Zbl
,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. | MR | Zbl
,5. Systems of Equations Over a Free Monoid and Ehrenfeucht's Conjecture, Discrete Mathematics, Vol. 43, 1983, pp. 139-153. | MR | Zbl
and ,6. On the Decidability of Homomorphism Equivalence for Languages, J. Comput. Systems Sc., Vol. 17, 1978, pp. 163-175. | MR | Zbl
and ,7. Test Sets and Checking Words for Homomorphism Equivalence, J. Comput. Systems Sc., Vol. 21, 1980, pp. 379-395. | MR | Zbl
and ,8. Rational Sets in Commutative Monoids, J. of Algebra, Vol. 13, 1969, pp. 173-191. | MR | Zbl
and ,9. Introduction to Formal Language Theory, Addison-Wesley, Reading, Massachusetts, 1978. | MR | Zbl
,10. A Note on Elementary Homomorphisms and the Regularity of Equality Sets, EATCS Bulletin, Vol. 9, 1979, pp. 16-24.
and ,11. M.KARPINSK, Ed., New Scottish Book of Problems, in preparation.
12. On Finite Semigroups of Matrices, Theor. Comp. Science, Vol. 5, 1977, pp. 101-111. | MR | Zbl
and ,13. The Mathematical Theory of L Systems. Academic Press, New York, 1980. | MR | Zbl
and ,14. Automata-Theoretic Aspects of Formal Power Series, Springer Verlag, New York, 1978. | MR | Zbl
and ,