{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:49:07Z","timestamp":1725486547911},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666523"},{"type":"electronic","value":"9783540480570"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48057-9_6","type":"book-chapter","created":{"date-parts":[[2007,6,23]],"date-time":"2007-06-23T11:05:18Z","timestamp":1182596718000},"page":"69-81","source":"Crossref","is-referenced-by-count":1,"title":["Implementing Reversed Alternating Finite Automaton (r-AFA) Operations"],"prefix":"10.1007","author":[{"given":"Sandra","family":"Huerter","sequence":"first","affiliation":[]},{"given":"Kai","family":"Salomaa","sequence":"additional","affiliation":[]},{"given":"Xiuming","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Sheng","family":"Yu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"6_CR1","unstructured":"J. Berstel and M. Morcrette, \u201cCompact representation of patterns by finite automata\u201d, Pixim 89: L\u2019Image Num\u00e9rique \u00e1 Paris, Andr\u00e9 Gagalowicz, ed., Hermes, Paris, 1989, pp.387\u2013395."},{"key":"6_CR2","doi-asserted-by":"publisher","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":"6_CR3","doi-asserted-by":"publisher","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":"6_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":"6_CR5","doi-asserted-by":"publisher","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, Integration,The VLSI Journal 17 (1994) 97\u2013140.","journal-title":"The VLSI Journal"},{"key":"6_CR6","doi-asserted-by":"publisher","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":"6_CR7","unstructured":"A. Fellah, Alternating Finite Automata and Related Problems. PhD dissertation, Kent State Univ. 1991."},{"key":"6_CR8","doi-asserted-by":"publisher","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":"6_CR9","unstructured":"M. Fowler and K. Scott, UML Distilled, Addison-Wesley, 1997."},{"key":"6_CR10","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":"6_CR11","doi-asserted-by":"crossref","unstructured":"D. Harel, \u201cExecutable Object Modeling with Statecharts\u201d, July 1997, IEEE Computer, pps. 31\u201342.","DOI":"10.1109\/2.596624"},{"key":"6_CR12","doi-asserted-by":"publisher","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 Programming8 (1987) 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"6_CR13","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":"6_CR14","doi-asserted-by":"publisher","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":"6_CR15","unstructured":"D. Raymond and D. Wood, Release Notes for Grail Version 2.5, Dept. of Computer Science, Univ. of Western Ontario, 1996."},{"key":"6_CR16","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modeling and Design, Prentice-Hall, 1991."},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BFb0031391","volume-title":"Proceedings of the Second International Workshop on Implementing Automata","author":"K. Salomaa","year":"1998","unstructured":"K. Salomaa, X. Wu and S. Yu, \u201cEfficient Implementation of Regular Languages Using R-AFA\u201d, Proceedings of the Second International Workshop on Implementing Automata. Lecture Notes in Computer Science 1436, Springer, pps.176\u2013184."},{"key":"6_CR18","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":"6_CR19","volume-title":"Theory of Computation","author":"D. Wood","year":"1987","unstructured":"D. Wood, Theory of Computation, John Wiley & Sons, New York, 1987."},{"key":"6_CR20","unstructured":"X. Wu, \u201cImplementation of Regular Languages by Using R-AFA\u201d, Master\u2019s Project Report, The Department of Computer Science, Univ. of Western Ontario, 1997."},{"key":"6_CR21","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-59126-6_1"}],"container-title":["Lecture Notes in Computer Science","Automata Implementation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48057-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T09:21:14Z","timestamp":1556529674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48057-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666523","9783540480570"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48057-9_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}