{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:37:53Z","timestamp":1725543473076},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354284"},{"type":"electronic","value":"9783540354307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11779148_13","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T05:55:49Z","timestamp":1150869349000},"page":"133-144","source":"Crossref","is-referenced-by-count":0,"title":["Context-Dependent Nondeterminism for Pushdown Automata"],"prefix":"10.1007","author":[{"given":"Martin","family":"Kutrib","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Malcher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","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":"13_CR2","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1137\/S0097539793258295","volume":"26","author":"L. Cai","year":"1997","unstructured":"Cai, L., Chen, J.: On the amount of nondeterminism and the power of verifying. SIAM J. Comput.\u00a026, 733\u2013750 (1997)","journal-title":"SIAM J. Comput."},{"key":"13_CR3","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":"13_CR4","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":"13_CR5","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., Wotschke, D.: On measuring nondeterminism in regular languages. Inform. Comput.\u00a086, 179\u2013194 (1990)","journal-title":"Inform. Comput."},{"key":"13_CR6","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":"13_CR7","volume-title":"Introduction to Formal Language Theory","author":"M.A. Harrison","year":"1978","unstructured":"Harrison, M.A.: Introduction to Formal Language Theory. Addison-Wesley, Reading (1978)"},{"key":"13_CR8","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":"13_CR9","unstructured":"Herzog, C.: Nondeterminism in context-free languages (in German). PhD thesis, University of Frankfurt, Germany (1999)"},{"key":"13_CR10","volume-title":"Introduction to Automata Theory, Language, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Language, and Computation. Addison-Wesley, Reading (1979)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1006\/inco.2001.3069","volume":"172","author":"J. Hromkovi\u010d","year":"2002","unstructured":"Hromkovi\u010d, J., Seibert, S., Karhum\u00e4ki, J., Klauck, H., Schnitger, G.: Communication complexity method for measuring nondeterminism in finite automata. Inform. Comput.\u00a0172, 202\u2013217 (2002)","journal-title":"Inform. Comput."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Kintala, C.M.: Computations with a Restricted Number of Nondeterministic Steps. PhD thesis, Pennsylvania State University (1977)","DOI":"10.1145\/800105.803407"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF00263994","volume":"13","author":"C.M. Kintala","year":"1980","unstructured":"Kintala, C.M., Wotschke, D.: Amounts of nondeterminism in finite automata. Acta Inform.\u00a013, 199\u2013204 (1980)","journal-title":"Acta Inform."},{"key":"13_CR14","first-page":"533","volume":"7","author":"M. Kutrib","year":"2002","unstructured":"Kutrib, M.: Refining nondeterminism below linear time. J. Autom., Lang. Comb.\u00a07, 533\u2013547 (2002)","journal-title":"J. Autom., Lang. Comb."},{"key":"13_CR15","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":"13_CR16","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":"13_CR17","first-page":"401","volume":"4","author":"D. Vermeir","year":"1981","unstructured":"Vermeir, D., Savitch, W.: 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","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11779148_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:45Z","timestamp":1619507745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11779148_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354284","9783540354307"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11779148_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}