{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:43:56Z","timestamp":1725493436707},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540763352"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76336-9_10","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T05:44:48Z","timestamp":1193463888000},"page":"85-96","source":"Crossref","is-referenced-by-count":0,"title":["Regulated Nondeterminism in Pushdown Automata"],"prefix":"10.1007","author":[{"given":"Martin","family":"Kutrib","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Malcher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Larissa","family":"Werlein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-642-59136-5_3","volume-title":"Handbook of Formal Languages","author":"J.M. Autebert","year":"1997","unstructured":"Autebert, J.M., Berstel, J., Boasson, L.: Context-free languages and pushdown automata. In: Handbook of Formal Languages, vol.\u00a01, pp. 111\u2013174. Springer, Berlin (1997)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1137\/S009753979528682X","volume":"29","author":"E. Bertsch","year":"1999","unstructured":"Bertsch, E., Nederhof, M.J.: Regular closure of deterministic languages. SIAM J. Comput.\u00a029, 81\u2013102 (1999)","journal-title":"SIAM J. Comput."},{"key":"10_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-74932-2","volume-title":"Regulated Rewriting in Formal Language Theory","author":"J. Dassow","year":"1989","unstructured":"Dassow, J., P\u0103un, G.: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1989)"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/978-3-662-07675-0_3","volume-title":"Handbook of Formal Languages","author":"J. Dassow","year":"1997","unstructured":"Dassow, J., P\u0103un, G., Salomaa, A.: Grammars with controlled derivations. In: Handbook of Formal Languages, vol.\u00a02, pp. 101\u2013154. Springer, Berlin (1997)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01776575","volume":"12","author":"P.C. Fischer","year":"1979","unstructured":"Fischer, P.C., Kintala, C.M.R.: Real-time computations with restricted nondeterminism. Math. Systems Theory\u00a012, 219\u2013231 (1979)","journal-title":"Math. Systems Theory"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/235767.235769","volume":"27","author":"J. Goldsmith","year":"1996","unstructured":"Goldsmith, J., Levy, M.A., Mundhenk, M.: Limited nondeterminism. SIGACT News\u00a027, 20\u201329 (1996)","journal-title":"SIGACT News"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0890-5401(90)90053-K","volume":"86","author":"J. Goldstine","year":"1990","unstructured":"Goldstine, J., Kintala, C.M.R., Wotschke, D.: On measuring nondeterminism in regular languages. Inform. and Comput.\u00a086, 179\u2013194 (1990)","journal-title":"Inform. and Comput."},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0890-5401(92)90014-7","volume":"100","author":"J. Goldstine","year":"1992","unstructured":"Goldstine, J., Leung, H., Wotschke, D.: On the relation between ambiguity and nondeterminism in finite automata. Inform. and Comput.\u00a0100, 261\u2013270 (1992)","journal-title":"Inform. and Comput."},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.jcss.2005.04.001","volume":"71","author":"J. Goldstine","year":"2005","unstructured":"Goldstine, J., Leung, H., Wotschke, D.: Measuring nondeterminism in pushdown automata. J. Comput. System Sci.\u00a071, 440\u2013466 (2005)","journal-title":"J. Comput. System Sci."},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/BF01189852","volume":"26","author":"J. Goldstine","year":"1993","unstructured":"Goldstine, J., Price, J.K., Wotschke, D.: On reducing the number of stack symbols in a PDA. Math. Systems Theory\u00a026, 313\u2013326 (1993)","journal-title":"Math. Systems Theory"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0304-3975(96)00267-8","volume":"181","author":"C. Herzog","year":"1997","unstructured":"Herzog, C.: Pushdown automata with bounded nondeterminism and bounded ambiguity. Theoret. Comput. Sci.\u00a0181, 141\u2013157 (1997)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR12","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Co., Reading, Mass. (1979)"},{"doi-asserted-by":"crossref","unstructured":"Kintala, C.M.R.: Computations with a restricted number of nondeterministic steps. PhD thesis, Pennsylvania State University (1977)","key":"10_CR13","DOI":"10.1145\/800105.803407"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF00263994","volume":"13","author":"C.M.R. Kintala","year":"1980","unstructured":"Kintala, C.M.R., Wotschke, D.: Amounts of nondeterminism in finite automata. Acta Inform.\u00a013, 199\u2013204 (1980)","journal-title":"Acta Inform."},{"key":"10_CR15","first-page":"533","volume":"7","author":"M. Kutrib","year":"2002","unstructured":"Kutrib, M.: Refining nondeterminsim below linear time. J. Autom. Lang. Comb.\u00a07, 533\u2013547 (2002)","journal-title":"J. Autom. Lang. Comb."},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.tcs.2007.01.015","volume":"376","author":"M. Kutrib","year":"2007","unstructured":"Kutrib, M., Malcher, A.: Context-dependent nondeterminism for pushdown automata. Theoret. Comput. Sci.\u00a0376, 101\u2013111 (2007)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR17","first-page":"653","volume":"14","author":"A. Meduna","year":"2000","unstructured":"Meduna, A., Kol\u00e1\u0159, D.: Regulated pushdown automata. Acta Cybernet.\u00a014, 653\u2013664 (2000)","journal-title":"Acta Cybernet."},{"key":"10_CR18","first-page":"399","volume":"51","author":"A. Meduna","year":"2002","unstructured":"Meduna, A., Kol\u00e1\u0159, D.: One-turn regulated pushdown automata and their reduction. Fund. Inform.\u00a051, 399\u2013405 (2002)","journal-title":"Fund. Inform."},{"key":"10_CR19","volume-title":"Formal Languages","author":"A. Salomaa","year":"1973","unstructured":"Salomaa, A.: Formal Languages. Academic Press, New York (1973)"},{"key":"10_CR20","first-page":"186","volume":"50","author":"K. Salomaa","year":"1993","unstructured":"Salomaa, K., Yu, S.: Limited nondeterminism for pushdown automata. Bull. EATCS\u00a050, 186\u2013193 (1993)","journal-title":"Bull. EATCS"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1016\/S0022-0000(05)80054-6","volume":"49","author":"K. Salomaa","year":"1994","unstructured":"Salomaa, K., Yu, S.: Measures of nondeterminism for pushdown automata. J. Comput. System Sci.\u00a049, 362\u2013374 (1994)","journal-title":"J. Comput. System Sci."},{"key":"10_CR22","first-page":"401","volume":"4","author":"D. Vermeir","year":"1981","unstructured":"Vermeir, D., Savitch, W.J.: On the amount of nondeterminism in pushdown automata. Fund. Inform.\u00a04, 401\u2013418 (1981)","journal-title":"Fund. Inform."}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76336-9_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:48:04Z","timestamp":1619520484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76336-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540763352"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76336-9_10","relation":{},"subject":[]}}