{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:10:23Z","timestamp":1725491423876},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540372134"},{"type":"electronic","value":"9783540372141"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11812128_5","type":"book-chapter","created":{"date-parts":[[2006,8,9]],"date-time":"2006-08-09T05:32:31Z","timestamp":1155101551000},"page":"34-45","source":"Crossref","is-referenced-by-count":1,"title":["Hybrid Extended Finite Automata"],"prefix":"10.1007","author":[{"given":"Henning","family":"Bordihn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Holzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Kutrib","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-540-30550-7_9","volume-title":"Developments in Language Theory","author":"H. Bordihn","year":"2004","unstructured":"Bordihn, H., Holzer, M., Kutrib, M.: Input reversals and iterated pushdown automata: A new characterization of khabbaz geometric hierarchy of languages. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds.) DLT 2004. LNCS, vol.\u00a03340, pp. 102\u2013113. Springer, Heidelberg (2004)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/11505877_15","volume-title":"Developments in Language Theory","author":"H. Bordihn","year":"2005","unstructured":"Bordihn, H., Holzer, M., Kutrib, M.: Revolving-input finite automata. In: De Felice, C., Restivo, A. (eds.) DLT 2005. LNCS, vol.\u00a03572, pp. 168\u2013179. Springer, Heidelberg (2005)"},{"key":"5_CR3","unstructured":"Bordihn, H., Holzer, M., Kutrib, M.: Finite automata with bio-inspired operations: The hairpin inversion operation (unpublished manuscript) (February 2006)"},{"key":"5_CR4","first-page":"323","volume-title":"Formal Properties of Grammars","author":"N. Chomsky","year":"1962","unstructured":"Chomsky, N.: Handbook of Mathematic Psychology. In: Formal Properties of Grammars, vol.\u00a02, pp. 323\u2013418. Wiley & Sons, New York (1962)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Evey, R.J.: The Theory and Applications of Pushdown Store Machines. Ph.D thesis, Harvard University, Massachusetts (May 1963)","DOI":"10.1145\/1463822.1463848"},{"key":"5_CR6","volume-title":"Algebraic and Automata-Theoretic Properties of Formal Languages","author":"S. Ginsburg","year":"1975","unstructured":"Ginsburg, S.: Algebraic and Automata-Theoretic Properties of Formal Languages. North-Holland, Amsterdam (1975)"},{"issue":"2","key":"5_CR7","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1145\/321386.321403","volume":"14","author":"S. Ginsburg","year":"1967","unstructured":"Ginsburg, S., Greibach, S.A., Harrison, M.A.: One-way stack automata. Journal of the ACM\u00a014(2), 389\u2013418 (1967)","journal-title":"Journal of the ACM"},{"issue":"2","key":"5_CR8","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF01692513","volume":"2","author":"S. Ginsburg","year":"1968","unstructured":"Ginsburg, S., Spanier, E.H.: Control sets on grammars. Mathematical Systems Theory\u00a02(2), 159\u2013177 (1968)","journal-title":"Mathematical Systems Theory"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/321495.321503","volume":"16","author":"S.A. Greibach","year":"1969","unstructured":"Greibach, S.A.: An infinite hierarchy of context-free languages. Journal of the ACM\u00a016(1), 91\u2013106 (1969)","journal-title":"Journal of the ACM"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/3-540-45061-0_40","volume-title":"Automata, Languages and Programming","author":"M. Holzer","year":"2003","unstructured":"Holzer, M., Kutrib, M.: Flip-pushdown automata: k\u2009+\u20091 pushdown reversals are better than k. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, pp. 490\u2013501. Springer, Heidelberg (2003)"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1016\/S0019-9958(74)90864-X","volume":"25","author":"N.A. Khabbaz","year":"1974","unstructured":"Khabbaz, N.A.: Control sets and linear grammars. Information and Control\u00a025(3), 206\u2013221 (1974)","journal-title":"Information and Control"},{"issue":"2","key":"5_CR12","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/S0022-0000(74)80052-8","volume":"8","author":"N.A. Khabbaz","year":"1974","unstructured":"Khabbaz, N.A.: A geometric hierarchy of languages. Journal of Computer and System Sciences\u00a08(2), 142\u2013157 (1974)","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR13","unstructured":"Sarkar, P.: Pushdown automaton with the ability to flip its stack. Report TR01-081, Electronic Colloquium on Computational Complexity (ECCC) (November 2001)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11812128_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:14:01Z","timestamp":1605626041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11812128_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540372134","9783540372141"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11812128_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}