{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:17:53Z","timestamp":1742941073832,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223204"},{"type":"electronic","value":"9783642223211"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22321-1_26","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T23:58:48Z","timestamp":1310687928000},"page":"300-311","source":"Crossref","is-referenced-by-count":2,"title":["On Two-Way Transducers"],"prefix":"10.1007","author":[{"given":"Oscar H.","family":"Ibarra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hsu-Chun","family":"Yen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0304-3975(86)90134-9","volume":"47","author":"K. Culik","year":"1986","unstructured":"Culik, K., Karhumaki, J.: The equivalence of finite valued transducers (on HDTOL languages) is decidable. Theoret. Comput. Sci.\u00a047, 71\u201384 (1986)","journal-title":"Theoret. Comput. Sci."},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1016\/S0019-9958(66)80019-0","volume":"9","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg, S., Greibach, S.: Deterministic context-free languages. Inform. and Control\u00a09, 620\u2013648 (1966)","journal-title":"Inform. and Control"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1145\/321466.321473","volume":"15","author":"T. Griffiths","year":"1968","unstructured":"Griffiths, T.: The unsolvability of the equivalence problem for \u039b-free nondeterministic generalized sequential machines. J. Assoc. Comput. Mach.\u00a015, 409\u2013413 (1968)","journal-title":"J. Assoc. Comput. Mach."},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1137\/0211035","volume":"11","author":"E. Gurari","year":"1982","unstructured":"Gurari, E.: The equivalence problem for deterministic two-way sequential transducers is decidable. SIAM J. Comput.\u00a011, 448\u2013452 (1982)","journal-title":"SIAM J. Comput."},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/0022-0000(81)90028-3","volume":"22","author":"E. Gurari","year":"1981","unstructured":"Gurari, E., Ibarra, O.H.: The complexity of decision problems for finite-turn multicounter machines. J. Comput. Syst. Sci.\u00a022, 220\u2013229 (1981)","journal-title":"J. Comput. Syst. Sci."},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01744569","volume":"16","author":"E. Gurari","year":"1983","unstructured":"Gurari, E., Ibarra, O.H.: A note on finite-valued and finitely ambiguous transducers. Math. Systems Theory\u00a016, 61\u201366 (1983)","journal-title":"Math. Systems Theory"},{"key":"26_CR7","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft, J., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)"},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/322047.322058","volume":"25","author":"O.H. Ibarra","year":"1978","unstructured":"Ibarra, O.H.: Reversal-bounded multicounter machines and their decision problems. J. Assoc. Comput. Mach.\u00a025, 116\u2013133 (1978)","journal-title":"J. Assoc. Comput. Mach."},{"key":"26_CR9","doi-asserted-by":"publisher","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 \u03b5-free NGSM\u2019s with unary input (output) alphabet and applications. SIAM J. Computing\u00a07, 524\u2013532 (1978)","journal-title":"SIAM J. Computing"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"1273","DOI":"10.1016\/j.ic.2010.07.004","volume":"208","author":"O.H. Ibarra","year":"2010","unstructured":"Ibarra, O.H.: On the universe, disjointness, and containment problems for simple machines. Inf. Comput.\u00a0208, 1273\u20131282 (2010)","journal-title":"Inf. Comput."},{"key":"26_CR11","unstructured":"Ibarra, O.H., Seki, S.: Characterizations of bounded semilinear languages by one-way and two-way deterministic machines. In: Proc. 13th Int. Conf. on Automata and Formal Languages (to appear, 2011)"},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1137\/0222014","volume":"22","author":"A. Weber","year":"1993","unstructured":"Weber, A.: Decomposing finite-valued trasnsducers and deciding their equivalence. SIAM. J. on Computing\u00a022, 175\u2013202 (1993)","journal-title":"SIAM. J. on Computing"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22321-1_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:08:39Z","timestamp":1558296519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22321-1_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223204","9783642223211"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22321-1_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}