{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:33:52Z","timestamp":1725482032431},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646945"},{"type":"electronic","value":"9783540691044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0031391","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T02:38:17Z","timestamp":1134268697000},"page":"176-184","source":"Crossref","is-referenced-by-count":3,"title":["Efficient implementation of regular languages using r-AFA"],"prefix":"10.1007","author":[{"given":"K.","family":"Salomaa","sequence":"first","affiliation":[]},{"given":"X.","family":"Wu","sequence":"additional","affiliation":[]},{"given":"S.","family":"Yu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,29]]},"reference":[{"key":"16_CR1","first-page":"387","volume-title":"Pixim 89: L'Image Num\u00e9rique \u00e0 Paris","author":"J. Berstel","year":"1989","unstructured":"J. Berstel and M. Morcrette, \u201cCompact representation of patterns by finite antomata\u201d, Pixim 89: L'Image Num\u00e9rique \u00e0 Paris, Andr\u00e9 Gagalowicz, ed., Hermes, Paris, 1989, pp.387\u2013395."},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0304-3975(80)90069-9","volume":"10","author":"J.A. Brzozowski","year":"1980","unstructured":"J.A. Brzozowski and E. Leiss, \u201cOn Equations for Regular Languages, Finite Automata, and Sequential Networks\u201d, Theoretical Computer Science 10 (1980) 19\u201335.","journal-title":"Theoretical Computer Science"},{"key":"16_CR3","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"A.K. Chandra, D.C. Kozen, L.J. Stockmeyer, \u201cAlternation\u201d, Journal of the ACM 28 (1981) 114\u2013133.","journal-title":"Journal of the ACM"},{"key":"16_CR4","unstructured":"H.K. Cheung, An Efficient Implementation Method for Alternating Finite Automata, MSc Project Paper, Dept. of Computer Science, Univ. of Western Ontario, Sept. 1996."},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0167-9260(94)00007-7","volume":"17","author":"O. Coudert","year":"1994","unstructured":"Olivier Coudert, \u201cTwo-Level Logic Minimization: An Overview\u201d, The VLSI Journal 17 (1994) 97\u2013140.","journal-title":"The VLSI Journal"},{"issue":"3","key":"16_CR6","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0097-8493(93)90079-O","volume":"17","author":"K. Culik II","year":"1993","unstructured":"K. Culik II and J. Kari, \u201cImage Compression Using Weighted Finite Automata\u201d, Computer and Graphics, vol. 17, 3, (1993) 305\u2013313.","journal-title":"Computer and Graphics"},{"key":"16_CR7","unstructured":"A.Fellah, Alternating Finite Automata and Related Problems. Ph.D dissertation, Kent State Univ. 1991."},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1080\/00207169008803893","volume":"35","author":"A. Fellah","year":"1990","unstructured":"A.Fellah, H.J\u00fcrgensen, and S.Yu, \u201cConstructions for Alternating Finite Automata\u201d, Intern J. Comp. Math. 35 (1990) 117\u2013132.","journal-title":"Intern J. Comp. Math."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"L. Guo, K. Salomaa, and S. Yu, \u201cSynchronization Expressions and Languages\u201d, Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing (1994) 257\u2013264","DOI":"10.1109\/SPDP.1994.346159"},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel, \u201cStatecharts: a visual formalism for complex systems\u201d, Science of Computer Programming 8 (1987) 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1016\/S0022-0000(76)80038-4","volume":"12","author":"H.B. Hunt","year":"1976","unstructured":"H.B. Hunt, D.J. Rosenkrantz, and T.G. Szymanski, \u201cOn the Equivalence, Containment, and Covering Problems for the Regular and Context-Free Languages\u201d, Journal of Computer and System Sciences 12 (1976) 222\u2013268.","journal-title":"Journal of Computer and System Sciences"},{"key":"16_CR12","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1137\/0222067","volume":"22","author":"T. Jiang","year":"1993","unstructured":"T. Jiang and B. Ravikumar, \u201cMinimal NFA Problems are Hard\u201d, SIAM Journal on Computing 22 (1993) 1117\u20131141.","journal-title":"SIAM Journal on Computing"},{"key":"16_CR13","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modeling and Design, Prentice-Hall, 1991."},{"key":"16_CR14","unstructured":"D. Raymond and D. Wood, Release Notes for Grail Version 2.5, Dept. of Computer Science, Univ. of Western Ontario, 1996."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"L. Stockmeyer and A. Meyer, \u201cWord problems requiring exponential time (preliminary report)\u201d, Proceedings of the 5th ACM Symposium on Theory of Computing, (1973) 1\u20139.","DOI":"10.1145\/800125.804029"},{"key":"16_CR16","volume-title":"Theory of Computation","author":"D. Wood","year":"1987","unstructured":"D. Wood, Theory of Computation, John Wiley & Sons, New York, 1987."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"S. Yu, \u201cRegular Languages\u201d, Chapter 2, Handbook of Formal Languages, vol. 1, Springer 1997.","DOI":"10.1007\/978-3-642-59136-5_2"}],"container-title":["Lecture Notes in Computer Science","Automata Implementation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031391","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T11:59:49Z","timestamp":1549454389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031391"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646945","9783540691044"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0031391","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}