{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T02:50:29Z","timestamp":1648867829632},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1986,9,1]],"date-time":"1986-09-01T00:00:00Z","timestamp":525916800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1986,9]]},"DOI":"10.1007\/bf00288471","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T12:43:28Z","timestamp":1096893808000},"page":"585-596","source":"Crossref","is-referenced-by-count":9,"title":["On the equivalence of some transductions involving letter to letter morphisms on regular languages"],"prefix":"10.1007","volume":"23","author":[{"given":"Yael","family":"Maon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","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, K.II, Karhum\u00e4ki, J.: Test sets for context-free languages and algebraic systems of equations. Information and Control 52, 172?186 (1982)","journal-title":"Information and Control"},{"key":"CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09367-1","volume-title":"Transductions and Context-Free Languages","author":"J. Berstel","year":"1979","unstructured":"Berstel, J.: Transductions and Context-Free Languages. Stuttgart: Teubner 1979"},{"key":"CR3","first-page":"310","volume":"15","author":"M. Blattner","year":"1977","unstructured":"Blattner, M., Head, T.: Single-Valued a-Transducers. JCSS 15, 310?327 (1977)","journal-title":"JCSS"},{"key":"CR4","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, K.II: Some decidability results about regular and pushdown translations. Information Processing Letters 8, 5?8 (1979)","journal-title":"Information Processing Letters"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0012-365X(83)90152-8","volume":"43","author":"K. Culik II","year":"1983","unstructured":"Culik, K.II, Karhum\u00e4ki, J.: Systems of equations over a free monoid and Ehrenfeucht's Conjecture. Discrete Mathematics 43, 139?153 (1983)","journal-title":"Discrete Mathematics"},{"key":"CR6","first-page":"163","volume":"17","author":"K. Culik II","year":"1978","unstructured":"Culik, K.II, Salomaa, A.: On the decidability of homomorphism equivalence for languages. JCSS 17, 163?175 (1978)","journal-title":"JCSS"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1145\/321466.321473","volume":"15","author":"T.V. Griffiths","year":"1968","unstructured":"Griffiths, T.V.: The unsolvability of the equivalence problem for ?-free non-deterministic generalized machines. JACM 15, 409?413 (1968)","journal-title":"JACM"},{"key":"CR8","volume-title":"Introduction to Formal Language Theory","author":"M. Harrison","year":"1978","unstructured":"Harrison, M.: Introduction to Formal Language Theory. Reading, MA: Addison-Wesley 1978"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/0304-3975(83)90006-3","volume":"24","author":"O.H. Ibarra","year":"1983","unstructured":"Ibarra, O.H.: On some decision questions concerning pushdown machines. TCS 24, 313?322 (1983)","journal-title":"TCS"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"524","DOI":"10.1137\/0207042","volume":"7","author":"O.H. Ibarra","year":"1978","unstructured":"Ibarra, O.H.: The unsolvability of the equivalence problem for ?-free NGSM's with unary input (output) alphabet and applications. SIAM J. COMPUT. 7, 524?532 (1978)","journal-title":"SIAM J. COMPUT."},{"key":"CR11","first-page":"184","volume":"25","author":"J. Karhum\u00e4ki","year":"1985","unstructured":"Karhum\u00e4ki, J.: Problems and solutions, P97. Bulletin of the EATCS 25, 184?185 (1985)","journal-title":"Bulletin of the EATCS"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/BFb0030317","volume":"176","author":"J. Karhum\u00e4ki","year":"1984","unstructured":"Karhum\u00e4ki, J., Kleijn, H.C.M.: On the equivalence of compositions of morphisms and inverse morphisms on regular languages. Lect. Notes Comput. Sci. 176, 355?363 (1984). Also: RAIRO, Inform. Th\u00e9or. (To appear)","journal-title":"Lect. Notes Comput. Sci."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Karhum\u00e4ki, J., Maon, Y.: A simple undecidable problem: Existential agreement of inverses of two morphisms on a regular language. JCSS (To appear)","DOI":"10.1016\/0022-0000(86)90032-2"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0020-0190(84)90055-3","volume":"19","author":"J. Karhum\u00e4ki","year":"1984","unstructured":"Karhum\u00e4ki, J., Wood, D.: Inverse morphic equivalence on languages. Inform. Processing Letters 19, 213?218 (1984)","journal-title":"Inform. Processing Letters"},{"key":"CR15","unstructured":"Maon, Y.: A note on the equivalence problem of composition of morphisms and inverse morphisms on context-free languages. Technical-Report 021\/84, (1984), Dept. of Comp. Sci., Tel-Aviv University. Also TCS, (To appear)"},{"key":"CR16","unstructured":"Maon, Y.: Decision problems concerning equivalence of transductions on languages. Ph. D. Thesis, Dept. of Comp. Sci., Tel-Aviv University"},{"key":"CR17","unstructured":"Maon, Y., Yehudai, A.: Balance of many-valued transductions and equivalence problems. Technical-Report 030\/85, (1985), Dept. of Comp. Sci., Tel-Aviv University (Submitted for publication)"},{"key":"CR18","volume-title":"The Mathematical Theory of L Systems","author":"G. Rozenberg","year":"1980","unstructured":"Rozenberg, G., Salomaa, A.: The Mathematical Theory of L Systems. New York: Academic Press 1980"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Sch\u00fctzenberger, M.P.: Sur les relations rationelles. In: Brakhage, H. (ed.). Automata Theory and Formal Languages, 2nd GI Conference. Lect. Notes Comput. Sci. 33, 209?213 (1975)","DOI":"10.1007\/3-540-07407-4_22"},{"key":"CR20","first-page":"162","volume":"20","author":"P. Turakainen","year":"1983","unstructured":"Turakainen, P.: A machine-oriented approach to compositions of morphisms and inverse morphisms. EATCS Bull. 20, 162?166 (1983)","journal-title":"EATCS Bull"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288471.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00288471\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00288471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:56:26Z","timestamp":1585900586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00288471"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,9]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1986,9]]}},"alternative-id":["BF00288471"],"URL":"https:\/\/doi.org\/10.1007\/bf00288471","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,9]]}}}