{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T20:41:19Z","timestamp":1649191279840},"reference-count":14,"publisher":"EDP Sciences","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1051\/ita:2007036","type":"journal-article","created":{"date-parts":[[2007,12,12]],"date-time":"2007-12-12T14:45:16Z","timestamp":1197470716000},"page":"217-236","source":"Crossref","is-referenced-by-count":0,"title":["Binary operations on automatic functions"],"prefix":"10.1051","volume":"42","author":[{"given":"Juhani","family":"Karhum\u00e4ki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jarkko","family":"Kari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Kupke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2007,12,13]]},"reference":[{"key":"R1","unstructured":"J. Berstel and M. Morcrette,Compact representation of patterns by finite automata, in Proc. Pixim '89, Paris (1989) 387\u2013402."},{"key":"R2","doi-asserted-by":"crossref","unstructured":"V. Blondel, J. Theys and J. Tsitsiklis, When is a pair of matrices stable? Problem 10.2 inUnsolved problems in Mathematical Systems and Control Theory.Princeton Univ. Press (2004) 304\u2013308.","DOI":"10.1515\/9781400826155.304"},{"key":"R3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0166-218X(93)90031-I","volume":"41","author":"Culik II","year":"1993","journal-title":"Discrete Appl. Math."},{"key":"R4","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0166-218X(93)E0149-S","volume":"58","author":"Culik II","year":"1995","journal-title":"Discrete Appl. Math."},{"key":"R5","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1137\/S0097539791224893","volume":"23","author":"Culik II","year":"1994","journal-title":"SIAM J. Comput."},{"key":"R6","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0097-8493(93)90079-O","volume":"17","author":"Culik II","year":"1993","journal-title":"Comput. Graph."},{"key":"R7","unstructured":"K. Culik II and J. Kari, Efficient inference algorithms for weighted finite automata, inFractal Image Compression, edited by Y. Fisher, Springer (1994)."},{"key":"R8","doi-asserted-by":"crossref","unstructured":"K. Culik II and J. Kari, Digital Images and Formal Languages, inHandbook of Formal Languages, Vol. III, edited by G. Rozenberg and A. Salomaa, Springer (1997) 599\u2013616.","DOI":"10.1007\/978-3-642-59126-6_10"},{"key":"R9","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/3-540-55808-X_22","volume":"629","author":"Derencourt","year":"1992","journal-title":"Lect. Notes Comput. Sci."},{"key":"R10","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1051\/ita\/1994283-403871","volume":"29","author":"Derencourt","year":"1994","journal-title":"RAIRO-Theor. Inf. Appl."},{"key":"R11","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0166-218X(02)00196-8","volume":"125","author":"Karhum\u00e4ki","year":"2003","journal-title":"Discrete Appl. Math."},{"key":"R12","unstructured":"K. Knopp,Infinite Sequences and Series.Dover publications (1956)."},{"key":"R13","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/11611257_36","volume":"3831","author":"Kupke","year":"2006","journal-title":"Lect. Notes Comput. Sci."},{"key":"R14","unstructured":"J. Kupke, Limiting the Ambiguity of Non-Deterministic Finite Automata.PhD. Thesis. Aachen University, 2002. Available online at http:\/\/www-i1.informatik.rwth-aachen.de\/~joachimk\/ltaondfa.ps http:\/\/www-i1.informatik.rwth-aachen.de\/~joachimk\/ltaondfa.ps"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2007036\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,29]],"date-time":"2020-04-29T10:46:20Z","timestamp":1588157180000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2007036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12,13]]},"references-count":14,"journal-issue":{"issue":"2"},"alternative-id":["ita06038"],"URL":"https:\/\/doi.org\/10.1051\/ita:2007036","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,12,13]]}}}