{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:23:11Z","timestamp":1743114191685,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319601335"},{"type":"electronic","value":"9783319601342"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60134-2_4","type":"book-chapter","created":{"date-parts":[[2017,5,27]],"date-time":"2017-05-27T12:53:09Z","timestamp":1495889589000},"page":"40-51","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Number of Active States in Deterministic and Nondeterministic 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"}]}],"member":"297","published-online":{"date-parts":[[2017,5,28]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0020-0190(92)90198-5","volume":"43","author":"J-C Birget","year":"1992","unstructured":"Birget, J.-C.: Intersection and union of regular languages and state complexity. Inform. Process. Lett. 43, 185\u2013190 (1992)","journal-title":"Inform. Process. Lett."},{"issue":"4","key":"4_CR2","first-page":"411","volume":"6","author":"H Bordihn","year":"2001","unstructured":"Bordihn, H., Holzer, M.: On the number of active symbols in L and CD grammar systems. J. Autom. Lang. Comb. 6(4), 411\u2013426 (2001)","journal-title":"J. Autom. Lang. Comb."},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"JR Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L.: Symbolic model checking: $$10^{20}$$ states and beyond. Inform. Comput. 98(2), 142\u2013170 (1992)","journal-title":"Inform. Comput."},{"key":"4_CR4","unstructured":"Ellul, K.: Descriptional complexity measures of regular languages. Master thesis, Computer Science, University of Waterloo, Ontario, Canada (2002)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-0000(74)80034-6","volume":"9","author":"A Gill","year":"1974","unstructured":"Gill, A., Kou, L.T.: Multiple-entry finite automata. J. Comput. System Sci. 9, 1\u201319 (1974)","journal-title":"J. Comput. System Sci."},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/S0019-9958(80)90066-2","volume":"44","author":"HCM Kleijn","year":"1980","unstructured":"Kleijn, H.C.M., Rozenberg, G.: A study in parallel rewriting systems. Inform. Control 44, 134\u2013163 (1980)","journal-title":"Inform. Control"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Lockefeer, L.: Formal specification and verification of TCP extended with the Window Scale Option. Master thesis, Vrije Universiteit Amsterdam, The Netherlands (2013)","DOI":"10.1007\/978-3-319-10702-8_5"},{"key":"4_CR8","unstructured":"Wood, D.: Theory of Computation. Wiley (1987)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Yokomori, T., Wood, D., Lange, K.-J.: A three-restricted normal form theorem for ET0L languages. Inform. Process. Lett. 14(3), 97\u2013100 (1982) and 21(1), 53 (1985)","DOI":"10.1016\/0020-0190(82)90061-8"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60134-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T15:30:56Z","timestamp":1710343856000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-60134-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319601335","9783319601342"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60134-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"28 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CIAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Implementation and Application of Automata","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marne-la-Vall\u00e9e","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wia2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ciaa17.univ-mlv.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}