{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:46:26Z","timestamp":1725493586493},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405610"},{"type":"electronic","value":"9783540450894"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45089-0_9","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T03:27:35Z","timestamp":1193455655000},"page":"83-95","source":"Crossref","is-referenced-by-count":2,"title":["An Efficient Pre-determinization Algorithm"],"prefix":"10.1007","author":[{"given":"Cyril","family":"Allauzen","sequence":"first","affiliation":[]},{"given":"Mehryar","family":"Mohri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"9_CR1","volume-title":"Compilers, Principles, Techniques and Tools","author":"A.V. Aho","year":"1986","unstructured":"A.V. Aho, R. Sethi, and J.D. Ullman. Compilers, Principles, Techniques and Tools. Addison Wesley: Reading, MA, 1986."},{"key":"9_CR2","unstructured":"C. Allauzen and M. Mohri. Efficient Algorithms for Testing the Twins Property. Journal of Automata, Languages and Combinatorics, 8(2), 2003."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"C. Allauzen and M. Mohri. Finitely Subsequential Transducers. International Journal of Foundations of Computer Science, to appear, 2003.","DOI":"10.1142\/S0129054103002126"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0304-3975(01)00214-6","volume":"292","author":"M.-P. B\u00e9al","year":"2003","unstructured":"M.-P. B\u00e9al, O. Carton, C. Prieur, and J. Sakarovitch. Squaring transducers: An efficient procedure for deciding functionality and sequentiality. Theoretical Computer Science, 292:45\u201363, 2003.","journal-title":"Theoretical Computer Science"},{"key":"9_CR5","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":"J. Berstel. Transductions and Context-Free Languages. Teubner Studienbucher: Stuttgart, 1979."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/0304-3975(77)90049-4","volume":"5","author":"C. Choffrut","year":"1977","unstructured":"C. Choffrut. Une caract\u00e9risation des fonctions s\u00e9quentielles et des fonctions souss \u00e9quentielles en tant que relations rationnelles. Theoretical Computer Science, 5:325\u2013338, 1977.","journal-title":"Theoretical Computer Science"},{"key":"9_CR7","volume-title":"Contributions \u00e0 l\u2019\u00e9tude de quelques familles remarquables de fonctions rationnelles","author":"C. Choffrut","year":"1978","unstructured":"C. Choffrut. Contributions \u00e0 l\u2019\u00e9tude de quelques familles remarquables de fonctions rationnelles. PhD thesis, (th\u00e8se de doctorat d\u2019Etat), Universit\u00e9 Paris 7, LITP: Paris, France, 1978."},{"key":"9_CR8","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1992","unstructured":"T.H. Cormen, C. E. Leiserson, and R.L. Rivest. Introduction to Algorithms. The MIT Press: Cambridge, MA, 1992."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"K. Culik II and J. Kari. Digital Images and Formal Languages. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, pages 599\u2013616. Springer, 1997.","DOI":"10.1007\/978-3-642-59126-6_10"},{"key":"9_CR10","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69959-7","volume-title":"Semirings, Automata, Languages","author":"W. Kuich","year":"1986","unstructured":"W. Kuich and A. Salomaa. Semirings, Automata, Languages. Number 5 in EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1986."},{"key":"9_CR11","unstructured":"M. Mohri. Finite-State Transducers in Language and Speech Processing. Computational Linguistics, 23(2), 1997."},{"issue":"3","key":"9_CR12","first-page":"321","volume":"7","author":"M. Mohri","year":"2002","unstructured":"M. Mohri. Semiring Frameworks and Algorithms for Shortest-Distance Problems. Journal of Automata, Languages and Combinatorics, 7(3):321\u2013350, 2002.","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"9_CR13","unstructured":"M. Mohri, F. C.N. Pereira, and M. Riley. Weighted Automata in Text and Speech Processing. In Proceedings of the 12th biennial European Conference on Artificial Intelligence (ECAI-96), Workshop on Extended finite state models of language, Budapest, Hungary. ECAI, 1996."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"D. Perrin. Words. In M. Lothaire, editor, Combinatorics on words, Cambridge Mathematical Library. Cambridge University Press, 1997.","DOI":"10.1017\/CBO9780511566097.004"},{"key":"9_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6264-0","volume-title":"Automata-Theoretic Aspects of Formal Power Series","author":"A. Salomaa","year":"1978","unstructured":"A. Salomaa and M. Soittola. Automata-Theoretic Aspects of Formal Power Series. Springer-Verlag: New York, 1978."},{"issue":"2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1995.1071","volume":"118","author":"A. Weber","year":"1995","unstructured":"A. Weber and R. Klemm. Economy of Description for Single-Valued Transducers. Information and Computation, 118(2):327\u2013340, 1995.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45089-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T10:54:20Z","timestamp":1551005660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45089-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405610","9783540450894"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45089-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}