{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T17:51:26Z","timestamp":1648749086224},"reference-count":12,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1980,6,1]],"date-time":"1980-06-01T00:00:00Z","timestamp":328665600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T00:00:00Z","timestamp":1374105600000},"content-version":"vor","delay-in-days":12100,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Control"],"published-print":{"date-parts":[[1980,6]]},"DOI":"10.1016\/s0019-9958(80)90659-2","type":"journal-article","created":{"date-parts":[[2004,12,15]],"date-time":"2004-12-15T09:12:12Z","timestamp":1103101932000},"page":"273-284","source":"Crossref","is-referenced-by-count":4,"title":["Test sets for homomorphism equivalence on context free languages"],"prefix":"10.1016","volume":"45","author":[{"given":"J.","family":"Albert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"II","given":"K.","family":"Culik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0019-9958(80)90659-2_bib1","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0022-0000(79)90012-6","article-title":"The decidability of equivalence for deterministic finite transducers","volume":"19","author":"Blattner","year":"1979","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0019-9958(80)90659-2_bib2","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0304-3975(76)90066-9","article-title":"On the decidability of the sequence equivalence problem for DOL-systems","volume":"3","author":"Culik","year":"1977","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0019-9958(80)90659-2_bib3","first-page":"5","article-title":"Some decidability results about regular and pushdown translations","volume":"8","author":"Culik","year":"1979"},{"key":"10.1016\/S0019-9958(80)90659-2_bib4","series-title":"Proceedings International Symposium on Formal Languages Theory","article-title":"Homomorphisms: Decidability, equality and test sets","author":"Culik","year":"1980"},{"key":"10.1016\/S0019-9958(80)90659-2_bib5","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1016\/S0019-9958(77)90512-5","article-title":"The decidability of the equivalance problem for DOL systems","volume":"35","author":"Culik","year":"1977","journal-title":"Inform. Contr."},{"key":"10.1016\/S0019-9958(80)90659-2_bib6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1080\/00207167908803155","article-title":"Homomorphism equivalence on ETOL languages","volume":"7","author":"Culik","year":"1979","journal-title":"Internat. J. Comput. Math. Sect. A"},{"key":"10.1016\/S0019-9958(80)90659-2_bib7","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0022-0000(78)90002-8","article-title":"On the decidability of homomorphism equivalence for languages","volume":"17","author":"Culik","year":"1978","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0019-9958(80)90659-2_bib8","article-title":"Test sets and checking words for homomorphism equivalence","author":"Culik","year":"1979"},{"key":"10.1016\/S0019-9958(80)90659-2_bib9","series-title":"Introduction to Formal Language Theory","author":"Harrison","year":"1978"},{"key":"10.1016\/S0019-9958(80)90659-2_bib10","series-title":"Formal Languages and Their Relation to Automata","author":"Hopcroft","year":"1969"},{"key":"10.1016\/S0019-9958(80)90659-2_bib11","series-title":"Formal Languages","author":"Salomaa","year":"1973"},{"key":"10.1016\/S0019-9958(80)90659-2_bib12","first-page":"127","article-title":"Equality sets for homomorphisms on free manoids","volume":"4","author":"Salomaa","year":"1978","journal-title":"Acta Cybernetica"}],"container-title":["Information and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0019995880906592?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0019995880906592?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,31]],"date-time":"2019-01-31T13:53:30Z","timestamp":1548942810000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0019995880906592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,6]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1980,6]]}},"alternative-id":["S0019995880906592"],"URL":"https:\/\/doi.org\/10.1016\/s0019-9958(80)90659-2","relation":{},"ISSN":["0019-9958"],"issn-type":[{"value":"0019-9958","type":"print"}],"subject":[],"published":{"date-parts":[[1980,6]]}}}