{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:06:15Z","timestamp":1742994375399,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319587400"},{"type":"electronic","value":"9783319587417"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58741-7_25","type":"book-chapter","created":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T12:59:28Z","timestamp":1494507568000},"page":"258-269","source":"Crossref","is-referenced-by-count":0,"title":["Finite Language Forbidding-Enforcing Systems"],"prefix":"10.1007","author":[{"given":"Daniela","family":"Genova","sequence":"first","affiliation":[]},{"given":"Hendrik Jan","family":"Hoogeboom","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,12]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1016\/j.ic.2015.04.001","volume":"242","author":"P Bonizzoni","year":"2015","unstructured":"Bonizzoni, P., Jonoska, N.: Existence of constants in regular splicing languages. Inf. Comput. 242, 340\u2013353 (2015)","journal-title":"Inf. Comput."},{"key":"25_CR2","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1023\/A:1025492906773","volume":"2","author":"M Cavaliere","year":"2003","unstructured":"Cavaliere, M., Jonoska, N.: Forbidding and enforcing in membrane computing. Nat. Comput. 2, 215\u2013228 (2003)","journal-title":"Nat. Comput."},{"key":"25_CR3","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(82)90124-4","volume":"27","author":"A Ehrenfeucht","year":"1983","unstructured":"Ehrenfeucht, A., Haussler, D., Rozenberg, G.: On regularity of context-free languages. Theoret. Comput. Sci. 27, 311\u2013332 (1983)","journal-title":"Theoret. Comput. Sci."},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Ehrenfeucht, A., Hoogeboom, H.J., Rozenberg, G., van Vugt, N.: Forbidding and enforcing, In: Winfree, E., Gifford, D.K. (eds.) DNA Based Computers V. AMS DIMACS, Providence, RI, vol. 54, pp. 195\u2013206 (2001)","DOI":"10.1090\/dimacs\/054\/16"},{"issue":"2","key":"25_CR5","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s005000000072","volume":"5","author":"A Ehrenfeucht","year":"2001","unstructured":"Ehrenfeucht, A., Hoogeboom, H.J., Rozenberg, G., van Vugt, N.: Sequences of languages in forbidding-enforcing families. Soft. Comput. 5(2), 121\u2013125 (2001)","journal-title":"Soft. Comput."},{"key":"25_CR6","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1016\/S0304-3975(01)00088-3","volume":"292","author":"A Ehrenfeucht","year":"2003","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Forbidding-enforcing systems. Theoret. Comput. Sci. 292, 611\u2013638 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"25_CR7","first-page":"1","volume":"76","author":"A Ehrenfeucht","year":"2006","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta Informaticae 76, 1\u201318 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"25_CR8","series-title":"Natural Computing Series","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/3-540-30296-4_6","volume-title":"Nanotechnology: Science and Computation, Part I","author":"G Franco","year":"2006","unstructured":"Franco, G., Jonoska, N.: Forbidding and enforcing conditions in DNA self-assembly of graphs. In: Chen, J., Jonoska, N., Rozenberg, G. (eds.) Nanotechnology: Science and Computation, Part I. Natural Computing Series, pp. 105\u2013118. Springer, Heidelberg (2006)"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-21875-0_10","volume-title":"Models of Computation in Context","author":"D Genova","year":"2011","unstructured":"Genova, D.: Defining languages by forbidding-enforcing systems. In: L\u00f6we, B., Normann, D., Soskov, I., Soskova, A. (eds.) CiE 2011. LNCS, vol. 6735, pp. 92\u2013101. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-21875-0_10"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-28332-1_25","volume-title":"Language and Automata Theory and Applications","author":"D Genova","year":"2012","unstructured":"Genova, D.: Forbidding sets and normal forms for language forbidding-enforcing systems. In: Dediu, A.-H., Mart\u00edn-Vide, C. (eds.) LATA 2012. LNCS, vol. 7183, pp. 289\u2013300. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-28332-1_25"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-642-39053-1_25","volume-title":"The Nature of Computation. Logic, Algorithms, Applications","author":"D Genova","year":"2013","unstructured":"Genova, D.: Language forbidding-enforcing systems defining DNA codewords. In: Bonizzoni, P., Brattka, V., L\u00f6we, B. (eds.) CiE 2013. LNCS, vol. 7921, pp. 220\u2013229. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-39053-1_25"},{"issue":"2","key":"25_CR12","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1016\/j.physb.2006.12.069","volume":"394","author":"D Genova","year":"2007","unstructured":"Genova, D., Jonoska, N.: Defining structures through forbidding and enforcing constraints. Phys. B Condens. Matter 394(2), 306\u2013310 (2007)","journal-title":"Phys. B Condens. Matter"},{"key":"25_CR13","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1016\/j.tcs.2011.12.029","volume":"429","author":"D Genova","year":"2012","unstructured":"Genova, D., Jonoska, N.: Forbidding and enforcing on graphs. Theoret. Comput. Sci. 429, 108\u2013117 (2012)","journal-title":"Theoret. Comput. Sci."},{"issue":"6","key":"25_CR14","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/BF02481771","volume":"49","author":"T Head","year":"1987","unstructured":"Head, T.: Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bull. Math. Biol. 49(6), 737\u2013759 (1987)","journal-title":"Bull. Math. Biol."},{"key":"25_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing. An Introduction","author":"G P\u0103un","year":"2002","unstructured":"P\u0103un, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)"},{"key":"25_CR16","first-page":"1","volume-title":"Handbook of Theoretical Computer Science, vol. B, Formal Models and Semantics","author":"D Perrin","year":"1990","unstructured":"Perrin, D.: Finite automata. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, Formal Models and Semantics, pp. 1\u201357. Elsevier, Amsterdam (1990)"},{"volume-title":"Handbook of Natural Computing, 3 vols","year":"2012","key":"25_CR17","unstructured":"Rozenberg, G., B\u00e4ck, T., Kok, J.N. (eds.): Handbook of Natural Computing, 3 vols. Springer, Heidelberg (2012)"},{"key":"25_CR18","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/978-3-642-59136-5_2","volume-title":"Handbook of Formal Languages","author":"S Yu","year":"1997","unstructured":"Yu, S.: Regular languages. In: Rozenberg, G., Saloma, A. (eds.) Handbook of Formal Languages, vol. 1, pp. 41\u2013110. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Unveiling Dynamics and Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58741-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T09:03:26Z","timestamp":1504170206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58741-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319587400","9783319587417"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58741-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}