On the Ehrenfeucht conjecture for DOL languages

Karel Ii Culik; Juhani Karhumäki

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1983)

  • Volume: 17, Issue: 3, page 205-230
  • ISSN: 0988-3754

How to cite

top

Culik, Karel Ii, and Karhumäki, Juhani. "On the Ehrenfeucht conjecture for DOL languages." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 17.3 (1983): 205-230. <http://eudml.org/doc/92185>.

@article{Culik1983,
author = {Culik, Karel Ii, Karhumäki, Juhani},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {Ehrenfeucht conjecture; test set; deviation of a string; positive DOL language},
language = {eng},
number = {3},
pages = {205-230},
publisher = {EDP-Sciences},
title = {On the Ehrenfeucht conjecture for DOL languages},
url = {http://eudml.org/doc/92185},
volume = {17},
year = {1983},
}

TY - JOUR
AU - Culik, Karel Ii
AU - Karhumäki, Juhani
TI - On the Ehrenfeucht conjecture for DOL languages
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1983
PB - EDP-Sciences
VL - 17
IS - 3
SP - 205
EP - 230
LA - eng
KW - Ehrenfeucht conjecture; test set; deviation of a string; positive DOL language
UR - http://eudml.org/doc/92185
ER -

References

top
  1. 1. J. ALBERT, K. CULIK II and J. KARHUMAKI, Tests Sets for Context Free Languages and Systems of Equations Over a Free Monoid, Information and Control, Vol. 52, 1982, pp. 172-186. Zbl0522.68064MR701592
  2. 2. K. CULIK II, The Ultimate Equivalence Problemfor DOL Systems, Acta Informatica, Vol. 10, 1978, pp. 79-84. Zbl0385.68060MR495230
  3. 3. K. CULIK II, Homomorphisms: Decidability, Equality and Test Sets, in R. BOOK, Ed., Formal Language Theory, Perspectives and Open Problems, Academic Press, New York, 1980. 
  4. 4. K. CULIK II, On the Decidability of the Séquence Equivalence Problem for DOL Systems, Theor. Comp. Science, Vol. 3, 1977, pp. 75-84. Zbl0352.68103MR495228
  5. 5. K. CULIK II and J. KARHUMAKI, Systems of Equations Over a Free Monoid and Ehrenfeucht's Conjecture, Discrete Mathematics, Vol. 43, 1983, pp. 139-153. Zbl0528.68057MR685623
  6. 6. K. CULIK II and A. SALOMAA, On the Decidability of Homomorphism Equivalence for Languages, J. Comput. Systems Sc., Vol. 17, 1978, pp. 163-175. Zbl0389.68042MR514269
  7. 7. K. CULIK II and A SALOMAA, Test Sets and Checking Words for Homomorphism Equivalence, J. Comput. Systems Sc., Vol. 21, 1980, pp. 379-395. Zbl0451.68046MR584866
  8. 8. S. EILENBERG and M. P. SCHÜTZENBERGER, Rational Sets in Commutative Monoids, J. of Algebra, Vol. 13, 1969, pp. 173-191. Zbl0206.02703MR246985
  9. 9. M. A. HARRISON, Introduction to Formal Language Theory, Addison-Wesley, Reading, Massachusetts, 1978. Zbl0411.68058MR526397
  10. 10. J. KARHUMÄKI and I. SIMON, A Note on Elementary Homomorphisms and the Regularity of Equality Sets, EATCS Bulletin, Vol. 9, 1979, pp. 16-24. 
  11. 11. M.KARPINSK, Ed., New Scottish Book of Problems, in preparation. 
  12. 12. A. MANDEL and I. SIMON, On Finite Semigroups of Matrices, Theor. Comp. Science, Vol. 5, 1977, pp. 101-111. Zbl0368.20049MR473070
  13. 13. G. ROZENBERG and A. SALOMAA, The Mathematical Theory of L Systems. Academic Press, New York, 1980. Zbl0508.68031MR561711
  14. 14. A. SALOMAA and M. SOITTOLA, Automata-Theoretic Aspects of Formal Power Series, Springer Verlag, New York, 1978. Zbl0377.68039MR483721

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.