{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:20:55Z","timestamp":1765232455678},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319581866"},{"type":"electronic","value":"9783319581873"}],"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-58187-3_14","type":"book-chapter","created":{"date-parts":[[2017,4,27]],"date-time":"2017-04-27T15:10:58Z","timestamp":1493305858000},"page":"182-193","source":"Crossref","is-referenced-by-count":7,"title":["Universal Matrix Insertion Grammars with Small Size"],"prefix":"10.1007","author":[{"given":"Henning","family":"Fernau","sequence":"first","affiliation":[]},{"given":"Lakshmanan","family":"Kuppusamy","sequence":"additional","affiliation":[]},{"given":"Sergey","family":"Verlan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,28]]},"reference":[{"key":"14_CR1","series-title":"Series in Molecular Biology","volume-title":"RNA Editing: The Alteration of Protein Coding Sequences of RNA","year":"1993","unstructured":"Benne, R. (ed.): RNA Editing: The Alteration of Protein Coding Sequences of RNA. Series in Molecular Biology. Ellis Horwood, Chichester (1993)"},{"issue":"2","key":"14_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.tcs.2007.07.030","volume":"387","author":"F Biegler","year":"2007","unstructured":"Biegler, F., Burrell, M.J., Daley, M.: Regulated RNA rewriting: modelling RNA editing with guided insertion. Theoret. Comput. Sci. 387(2), 103\u2013112 (2007)","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-319-41114-9_9","volume-title":"Descriptional Complexity of Formal Systems","author":"H Fernau","year":"2016","unstructured":"Fernau, H., Kuppusamy, L., Raman, I.: Descriptional complexity of graph-controlled insertion-deletion systems. In: C\u00e2mpeanu, C., Manea, F., Shallit, J. (eds.) DCFS 2016. LNCS, vol. 9777, pp. 111\u2013125. Springer, Cham (2016). doi: 10.1007\/978-3-319-41114-9_9"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-41312-9_4","volume-title":"Unconventional Computation and Natural Computation","author":"H Fernau","year":"2016","unstructured":"Fernau, H., Kuppusamy, L., Raman, I.: Generative power of matrix insertion-deletion systems with context-free insertion or deletion. In: Amos, M., Condon, A. (eds.) UCNC 2016. LNCS, vol. 9726, pp. 35\u201348. Springer, Cham (2016). doi: 10.1007\/978-3-319-41312-9_4"},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"Freund, R., Kogler, M., Rogozhin, Y., Verlan, S.: Graph-controlled insertion-deletion systems. In: McQuillan, I., Pighizzini, G. (eds.) Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS. EPTCS, vol. 31, pp. 88\u201398 (2010)","DOI":"10.4204\/EPTCS.31.11"},{"issue":"3","key":"14_CR6","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.ic.2010.11.011","volume":"209","author":"K Fujioka","year":"2011","unstructured":"Fujioka, K.: Morphic characterizations of languages in Chomsky hierarchy with insertion and locality. Inf. Comput. 209(3), 397\u2013408 (2011)","journal-title":"Inf. Comput."},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2012.10.003","volume":"469","author":"K Fujioka","year":"2013","unstructured":"Fujioka, K.: Morphic characterizations with insertion systems controlled by a context of length one. Theoret. Comput. Sci. 469, 69\u201376 (2013)","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR8","unstructured":"Galiukschov, B.S.: Semicontextual grammars (in Russian). In: Matematika Logica i Matematika Linguistika, pp. 38\u201350. Kalinin University (1981)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1051\/ita\/1991250504731","volume":"25","author":"V Geffert","year":"1991","unstructured":"Geffert, V.: Normal forms for phrase-structure grammars. RAIRO Informatique th\u00e9orique et Applications\/Theor. Inform. Appl. 25, 473\u2013498 (1991)","journal-title":"RAIRO Informatique th\u00e9orique et Applications\/Theor. Inform. Appl."},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0020-0255(83)90023-3","volume":"31","author":"D Haussler","year":"1983","unstructured":"Haussler, D.: Insertion languages. Inf. Sci. 31(1), 77\u201389 (1983)","journal-title":"Inf. Sci."},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/FI-2015-1203","volume":"138","author":"S Ivanov","year":"2015","unstructured":"Ivanov, S., Verlan, S.: Random context and semi-conditional insertion-deletion systems. Fundamenta Informaticae 138, 127\u2013144 (2015)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/3-540-60249-6_60","volume-title":"Fundamentals of Computation Theory","author":"P Jan\u010dar","year":"1995","unstructured":"Jan\u010dar, P., Mr\u00e1z, F., Pl\u00e1tek, M., Vogel, J.: Restarting automata. In: Reichel, H. (ed.) FCT 1995. LNCS, vol. 965, pp. 283\u2013292. Springer, Heidelberg (1995). doi: 10.1007\/3-540-60249-6_60"},{"key":"14_CR13","doi-asserted-by":"publisher","unstructured":"Kari, L., P\u0103un, G., Thierrin, G., Yu, S.: At the crossroads of DNA computing, formal languages: characterizing recursively enumerable languages using insertion-deletion systems. In: Rubin, H., Wood, D.H. (eds.) DNA Based Computers III. DIMACS Series in Discrete Mathematics and Theretical Computer Science, vol. 48, pp. 329\u2013338 (1999)","DOI":"10.1090\/dimacs\/048\/23"},{"issue":"1\u20133","key":"14_CR14","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1016\/j.tcs.2008.01.037","volume":"396","author":"L Kari","year":"2008","unstructured":"Kari, L., Sos\u00edk, P.: On the weight of universal insertion grammars. Theoret. Comput. Sci. 396(1\u20133), 264\u2013270 (2008)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"14_CR15","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1006\/inco.1996.0091","volume":"131","author":"L Kari","year":"1996","unstructured":"Kari, L., Thierrin, G.: Contextual insertions\/deletions and computability. Inf. Comput. 131(1), 47\u201361 (1996)","journal-title":"Inf. Comput."},{"key":"14_CR16","first-page":"29","volume-title":"Seventh Brainstorming Week on Membrane Computing","author":"A Krassovitskiy","year":"2009","unstructured":"Krassovitskiy, A.: On the power of insertion P systems of small size. In: Mart\u00ednez del Amor, M.A., Orejuela-Pinedo, E.F., P\u0103un, G., P\u00e9rez-Hurtado, I., Riscos-N\u00fa\u00f1ez, A. (eds.) Seventh Brainstorming Week on Membrane Computing, vol. II, pp. 29\u201343. F\u00e9nix Editora, Sevilla (2009)"},{"issue":"1","key":"14_CR17","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1515\/amcs-2016-0017","volume":"26","author":"L Kuppusamy","year":"2016","unstructured":"Kuppusamy, L., Mahendran, A.: Modelling DNA and RNA secondary structures using matrix insertion-deletion systems. Int. J. Appl. Math. Comput. Sci. 26(1), 245\u2013258 (2016)","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"issue":"4","key":"14_CR18","first-page":"316","volume":"26","author":"M Marcus","year":"1990","unstructured":"Marcus, M., P\u0103un, G.: Regulated Galiukschov semicontextual grammars. Kybernetika 26(4), 316\u2013326 (1990)","journal-title":"Kybernetika"},{"issue":"2","key":"14_CR19","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.tcs.2004.06.031","volume":"330","author":"M Margenstern","year":"2005","unstructured":"Margenstern, M., P\u0103un, G., Rogozhin, Y., Verlan, S.: Context-free insertion-deletion systems. Theoret. Comput. Sci. 330(2), 339\u2013348 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-74593-8_18","volume-title":"Machines, Computations, and Universality","author":"A Matveevici","year":"2007","unstructured":"Matveevici, A., Rogozhin, Y., Verlan, S.: Insertion-deletion systems with one-sided contexts. In: Durand-Lose, J., Margenstern, M. (eds.) MCU 2007. LNCS, vol. 4664, pp. 205\u2013217. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74593-8_18"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Motwani, R., Panigrahy, R., Saraswat, V., Ventkatasubramanian, S.: On the decidability of accessibility problems (extended abstract). In: Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, STOC, pp. 306\u2013315. ACM (2000)","DOI":"10.1145\/335305.335341"},{"issue":"1\u20134","key":"14_CR22","first-page":"317","volume":"64","author":"M Mutyam","year":"2005","unstructured":"Mutyam, M., Krithivasan, K., Reddy, A.S.: On characterizing recursively enumerable languages by insertion grammars. Fundamenta Informaticae 64(1\u20134), 317\u2013324 (2005)","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"14_CR23","first-page":"1424","volume":"44","author":"K Onodera","year":"2003","unstructured":"Onodera, K.: A note on homomorphic representation of recursively enumerable languages with insertion grammars. Trans. Inf. Process. Soc. Japan 44(5), 1424\u20131427 (2003)","journal-title":"Trans. Inf. Process. Soc. Japan"},{"key":"14_CR24","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/j.tcs.2012.07.002","volume":"456","author":"I Petre","year":"2012","unstructured":"Petre, I., Verlan, S.: Matrix insertion-deletion systems. Theoret. Comput. Sci. 456, 80\u201388 (2012)","journal-title":"Theoret. Comput. Sci."},{"issue":"4","key":"14_CR25","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1142\/S0129054108006005","volume":"19","author":"G P\u0103un","year":"2008","unstructured":"P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J., Yokomori, T.: Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems. Int. J. Found. Comput. Sci. 19(4), 859\u2013871 (2008)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"14_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03563-4","volume-title":"DNA Computing: New Computing Paradigms","author":"G P\u0103un","year":"1998","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A.: DNA Computing: New Computing Paradigms. Springer, New York (1998)"},{"issue":"4","key":"14_CR27","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1023\/B:NACO.0000006769.27984.23","volume":"2","author":"A Takahara","year":"2003","unstructured":"Takahara, A., Yokomori, T.: On the computational power of insertion-deletion systems. Nat. Comput. 2(4), 321\u2013336 (2003)","journal-title":"Nat. Comput."},{"issue":"1\u20132","key":"14_CR28","first-page":"317","volume":"12","author":"S Verlan","year":"2007","unstructured":"Verlan, S.: On minimal context-free insertion-deletion systems. J. Autom. Lang. Comb. 12(1\u20132), 317\u2013328 (2007)","journal-title":"J. Autom. Lang. Comb."}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation and Natural Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58187-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T11:32:12Z","timestamp":1601983932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58187-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319581866","9783319581873"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58187-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}