{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:14:24Z","timestamp":1725459264957},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540133720"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0030297","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:19:29Z","timestamp":1138202369000},"page":"176-184","source":"Crossref","is-referenced-by-count":1,"title":["On the Ehrenfeucht conjecture on test sets and its dual version"],"prefix":"10.1007","author":[{"given":"J.","family":"Albert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Aho, A.V., Ullman, J. D.: \"The Theory of Parsing, Translation and Compiling\", vol. 1, Prentice-Hall (1972)"},{"issue":"2","key":"12_CR2","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1016\/S0019-9958(82)80028-4","volume":"52","author":"J. Albert","year":"1982","unstructured":"Albert, J., Culik II, K., Karhum\u00e4ki, J.: Test sets for contextfree languages and systems of equations over a free monoid, Inf. and Control 52, 2, 172\u2013186 (1982)","journal-title":"Inf. and Control"},{"issue":"1","key":"12_CR3","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/0022-0000(83)90022-3","volume":"26","author":"J. Albert","year":"1983","unstructured":"Albert, J., Wood, D.: Checking sets, test sets, rich languages and commutatively closed languages, J. Comp. System Sci. 26, 1, 82\u201391 (1983)","journal-title":"J. Comp. System Sci."},{"key":"12_CR4","unstructured":"Albert, J.: On test sets, checking sets, maximal extensions and their effective constructions, Forschungsbericht 129, Universit\u00e4t Karlsruhe (1983)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Berstel, J.: \"Transductions and Context-Free Languages\", B.G. Teubner (1979)","DOI":"10.1007\/978-3-663-09367-1"},{"issue":"2","key":"12_CR6","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/322123.322136","volume":"26","author":"K. Culik II","year":"1979","unstructured":"Culik II, K.: A purely homomorphic characterization of recursively enumerable sets, J. ACM 26,2, 345\u2013350 (1979)","journal-title":"J. ACM"},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0020-0190(79)90080-2","volume":"8","author":"K. Culik II","year":"1979","unstructured":"Culik II, K.: Some decidability results about regular and pushdown translations, Inform. Proc. Letters 8, 5\u20138 (1979)","journal-title":"Inform. Proc. Letters"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Culik II, K.: Homomorphisms: decidability, equality and test sets, in \"Formal Language Theory, Perspectives and Open Problems\", R. Book ed., Academic Press (1980)","DOI":"10.1016\/B978-0-12-115350-2.50012-9"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Culik II, K., Karhum\u00e4ki, J.: Systems of equations over a free monoid and Ehrenfeucht conjecture, 9. ICALP, Aarhus, Lect. Notes in Comp. Sci. 140, Springer Verlag, 128\u2013140 (1982)","DOI":"10.1007\/BFb0012763"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Culik II, K., Karhum\u00e4ki, J.: On the Ehrenfeucht Conjecture for DOL languages, RAIRO, to appear","DOI":"10.1051\/ita\/1983170302051"},{"key":"12_CR11","first-page":"20","volume":"17","author":"K. Culik II","year":"1978","unstructured":"Culik II, K., Salomaa, A.: On the decidability of homomorphism equivalence for languages, J. Comp. System Sci. 17, 20\u201339 (1978)","journal-title":"J. Comp. System Sci."},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0022-0000(80)90013-6","volume":"20","author":"K. Culik II","year":"1980","unstructured":"Culik II, K., Salomaa, A.: Test sets and checking words for homomorphism equivalence, J. Comp. System Sci. 20, 379\u2013395 (1980)","journal-title":"J. Comp. System Sci."},{"key":"12_CR13","unstructured":"Ehrenfeucht, A., Karhum\u00e4ki, J., Rozenberg, G.: On binary equality languages and a solution to the Ehrenfeucht Conjecture in the binary case, J. of Algebra, to appear"},{"issue":"4","key":"12_CR14","doi-asserted-by":"crossref","first-page":"706","DOI":"10.1145\/322276.322282","volume":"28","author":"A. Ehrenfeucht","year":"1981","unstructured":"Ehrenfeucht, A., Rozenberg, G., Ruohonen, K.: A morphic representation of complements of recursively enumerable sets, J. ACM 28, 4, 706\u2013714 (1981)","journal-title":"J. ACM"},{"issue":"3","key":"12_CR15","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/322203.322211","volume":"27","author":"J. Engelfriet","year":"1980","unstructured":"Engelfriet, J., Rozenberg, G.: Fixed point languages, equality languages, and representations of recursively enumerable languages, J. ACM 27, 3, 499\u2013518 (1980)","journal-title":"J. ACM"},{"key":"12_CR16","unstructured":"Harrison, M.A.: \"Introduction to Formal Language Theory\", Addison-Wesley (1978)"},{"key":"12_CR17","unstructured":"Maon, Y., Yehudai, A.: Test sets for checking morphism equivalence on languages with fair distribution of letters, Technical report, Tel-Aviv University, (1983)"},{"key":"12_CR18","unstructured":"Rozenberg, G., Salomaa, A.: \"The Mathematical Theory of L Systems\", Academic Press (1980)"},{"key":"12_CR19","unstructured":"Salomaa, A.: \"Formal Languages\", Academic Press (1973)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1984"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030297.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:00:55Z","timestamp":1607551255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030297"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540133720"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0030297","relation":{},"subject":[]}}