{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:00:11Z","timestamp":1725796811410},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319088457"},{"type":"electronic","value":"9783319088464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08846-4_16","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T11:56:43Z","timestamp":1404475003000},"page":"211-225","source":"Crossref","is-referenced-by-count":0,"title":["On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers"],"prefix":"10.1007","author":[{"given":"Oscar H.","family":"Ibarra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_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":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/978-3-642-27660-6_20","volume-title":"SOFSEM 2012: Theory and Practice of Computer Science","author":"\u00d6. E\u011fecio\u011flu","year":"2012","unstructured":"E\u011fecio\u011flu, \u00d6., Ibarra, O.H., Tran, N.Q.: Multitape NFA: Weak synchronization of the input heads. In: Bielikov\u00e1, M., Friedrich, G., Gottlob, G., Katzenbeisser, S., Tur\u00e1n, G. (eds.) SOFSEM 2012. LNCS, vol.\u00a07147, pp. 238\u2013250. Springer, Heidelberg (2012)"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1147\/rd.91.0047","volume":"9","author":"C.C. Elgot","year":"1965","unstructured":"Elgot, C.C., Mezei, J.E.: On relations defined by generalized finite automata. IBM J. Res.\u00a09, 45\u201365 (1965)","journal-title":"IBM J. Res."},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-15155-2_32","volume-title":"Mathematical Foundations of Computer Science 2010","author":"E. Filiot","year":"2010","unstructured":"Filiot, E., Raskin, J.-F., Reynier, P.-A., Servais, F., Talbot, J.-M.: Properties of visibly pushdown transducers. In: Hlin\u011bn\u00fd, P., Ku\u010dera, A. (eds.) MFCS 2010. LNCS, vol.\u00a06281, pp. 355\u2013367. Springer, Heidelberg (2010)"},{"key":"16_CR5","unstructured":"Finkel, O.: Personal communication"},{"key":"16_CR6","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":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1007\/978-3-642-22110-1_60","volume-title":"Computer Aided Verification","author":"M. Hague","year":"2011","unstructured":"Hague, M., Lin, A.W.: Model checking recursive programs with numeric data types. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 743\u2013759. Springer, Heidelberg (2011)"},{"issue":"2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0304-3975(91)90356-7","volume":"78","author":"T. Harju","year":"1991","unstructured":"Harju, T., Karhumaki, J.: The equivalence problem of multitape finite automata. Theoret. Comput. Sci.\u00a078(2), 347\u2013355 (1991)","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR9","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata, Languages and Computation. Addison-Wesley (1978)"},{"issue":"1","key":"16_CR10","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. of the ACM\u00a025(1), 116\u2013133 (1978)","journal-title":"J. of the ACM"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/978-3-319-08019-2_23","volume-title":"CiE 2014","author":"O.H. Ibarra","year":"2014","unstructured":"Ibarra, O.H., Cui, C., Dang, Z., Fischer, T.R.: Lossiness of communication channels modeled by transducers. In: Beckmann, A., Csuhaj-Varj\u00fa, E., Meer, K. (eds.) CiE 2014. LNCS, vol.\u00a08493, pp. 224\u2013233. Springer, Heidelberg (2014)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.tcs.2013.07.025","volume":"501","author":"O.H. Ibarra","year":"2013","unstructured":"Ibarra, O.H., Seki, S.: On the open problem of Ginsburg concerning semilinear sets and related problems. Theor. Comput. Sci.\u00a0501, 11\u201319 (2013)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Minsky, M.: Recursive unsolvability of Post\u2019s problem of Tag and other topics in the theory of Turing machines. Ann. of Math.\u00a0(74), 437\u2013455 (1961)","DOI":"10.2307\/1970290"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/978-3-540-85238-4_48","volume-title":"Mathematical Foundations of Computer Science 2008","author":"J. Sakarovitch","year":"2008","unstructured":"Sakarovitch, J., de Souza, R.: On the decidability of bounded valuedness for transducers. In: Ochma\u0144ski, E., Tyszkiewicz, J. (eds.) MFCS 2008. LNCS, vol.\u00a05162, pp. 588\u2013600. Springer, Heidelberg (2008)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0019-9958(61)80006-5","volume":"4","author":"M.P. Schutzenberger","year":"1961","unstructured":"Schutzenberger, M.P.: A remark on finite transducers. Inform. and Control\u00a04, 185\u2013196 (1961)","journal-title":"Inform. and Control"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1007\/BF00264285","volume":"27","author":"A. Weber","year":"1990","unstructured":"Weber, A.: On the valuedness of finite transducers. Acta Inform.\u00a027, 749\u2013780 (1990)","journal-title":"Acta Inform."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Wich, K.: Exponential ambiguity of context-free grammars. In: Proc. of 4th Int. Conf. on Developments in Language Theory, pp. 125\u2013138. World Scientific (1999)","DOI":"10.1142\/9789812792464_0011"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/978-3-642-39212-2_38","volume-title":"Automata, Languages, and Programming","author":"J. Worrell","year":"2013","unstructured":"Worrell, J.: Revisiting the equivalence problem for finite multitape automata. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol.\u00a07966, pp. 422\u2013433. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08846-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T07:17:44Z","timestamp":1558941464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08846-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319088457","9783319088464"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08846-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}