{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:31:38Z","timestamp":1772555498120,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642542381","type":"print"},{"value":"9783642542398","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54239-8_16","type":"book-chapter","created":{"date-parts":[[2014,1,20]],"date-time":"2014-01-20T11:30:55Z","timestamp":1390217455000},"page":"225-237","source":"Crossref","is-referenced-by-count":9,"title":["About One-Sided One-Symbol Insertion-Deletion P Systems"],"prefix":"10.1007","author":[{"given":"Sergiu","family":"Ivanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Verlan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Alhazov, A., Krassovitskiy, A., Rogozhin, Y., Verlan, S.: Small size insertion and deletion systems. In: Martin-Vide, C. (ed.) Scientific Applications of Language Methods. Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory, vol.\u00a02, ch. 9, pp. 459\u2013524. World Sci. (2010)","DOI":"10.1142\/9781848165458_0009"},{"issue":"1-2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.tcs.2010.08.025","volume":"412","author":"A. Alhazov","year":"2011","unstructured":"Alhazov, A., Krassovitskiy, A., Rogozhin, Y., Verlan, S.: P Systems with Minimal Insertion and Deletion. Theoretical Computer Science\u00a0412(1-2), 136\u2013144 (2011)","journal-title":"Theoretical Computer Science"},{"key":"16_CR3","unstructured":"Benne, R.: RNA Editing: The Alteration of Protein Coding Sequences of RNA. Ellis Horwood, Chichester, West Sussex (1993)"},{"issue":"2","key":"16_CR4","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. Theor. Comput. Sci.\u00a0387(2), 103\u2013112 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Csuhaj-Varj\u00fa, E., Salomaa, A.: Networks of Parallel Language Processors. In: P\u0103un, G., Salomaa, A. (eds.) NTFL. LNCS, vol.\u00a01218, pp. 299\u2013318. Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-62844-4_22"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Daley, M., Kari, L., Gloor, G., Siromoney, R.: Circular contextual insertions\/deletions with applications to biomolecular computation. In: SPIRE\/CRIWG, pp. 47\u201354 (1999)","DOI":"10.1109\/SPIRE.1999.796577"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Freund, R., Kogler, M., Rogozhin, Y., Verlan, S.: Graph-controlled insertion-deletion systems. In: McQuillan, I., Pighizzini, G. (eds.) Proc. of 12th Workshop on Descriptional Complexity of Formal Systems. EPTCS, vol.\u00a031, pp. 88\u201398 (2010)","DOI":"10.4204\/EPTCS.31.11"},{"key":"16_CR8","unstructured":"Galiukschov, B.: Semicontextual grammars. Matem. Logica i Matem. Lingvistika, 38\u201350, Tallin University (1981) (in Russian)"},{"key":"16_CR9","first-page":"473","volume":"25","author":"V. Geffert","year":"1991","unstructured":"Geffert, V.: Normal forms for phrase-structure grammars. ITA\u00a025, 473\u2013498 (1991)","journal-title":"ITA"},{"key":"16_CR10","unstructured":"Haussler, D.: Insertion and Iterated Insertion as Operations on Formal Languages. PhD thesis, Univ. of Colorado at Boulder (1982)"},{"issue":"1","key":"16_CR11","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. Information Sciences\u00a031(1), 77\u201389 (1983)","journal-title":"Information Sciences"},{"key":"16_CR12","unstructured":"Kari, L.: On Insertion and Deletion in Formal Languages. PhD thesis, University of Turku (1991)"},{"key":"16_CR13","unstructured":"Kari, L., P\u0103un, G., Thierrin, G., Yu, S.: At the crossroads of DNA computing and formal languages: Characterizing RE using insertion-deletion systems. In: Proc. of 3rd DIMACS Workshop on DNA Based Computing, Philadelphia, pp. 318\u2013333 (1997)"},{"key":"16_CR14","first-page":"3","volume-title":"Automata Studies","author":"S.C. Kleene","year":"1956","unstructured":"Kleene, S.C.: Representation of events in nerve nets and finite automata. In: Shannon, C., McCarthy, J. (eds.) Automata Studies, pp. 3\u201341. Princeton University Press, Princeton (1956)"},{"key":"16_CR15","unstructured":"Krassovitskiy, A.: Complexity and Modeling Power of Insertion-Deletion Systems. PhD thesis, Universitat Rovira i Virgili, Tarragona, Spain (2011)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-88282-4_31","volume-title":"Language and Automata Theory and Applications","author":"A. Krassovitskiy","year":"2008","unstructured":"Krassovitskiy, A., Rogozhin, Y., Verlan, S.: Further results on insertion-deletion systems with one-sided contexts. In: Mart\u00edn-Vide, C., Otto, F., Fernau, H. (eds.) LATA 2008. LNCS, vol.\u00a05196, pp. 333\u2013344. Springer, Heidelberg (2008)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Krassovitskiy, A., Rogozhin, Y., Verlan, S.: Computational power of P systems with small size insertion and deletion rules. In: Neary, T., Woods, D., Seda, A.K., Murphy, N. (eds.) Proc. International Workshop on The Complexity of Simple Programs, Cork, Ireland, December 6-7. EPTCS, vol.\u00a01, pp. 108\u2013117 (2009)","DOI":"10.4204\/EPTCS.1.10"},{"issue":"2","key":"16_CR18","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1007\/s11047-010-9208-y","volume":"10","author":"A. Krassovitskiy","year":"2011","unstructured":"Krassovitskiy, A., Rogozhin, Y., Verlan, S.: Computational power of insertion-deletion (P) systems with rules of size two. Natural Computing\u00a010(2), 835\u2013852 (2011)","journal-title":"Natural Computing"},{"key":"16_CR19","first-page":"1525","volume":"14","author":"S. Marcus","year":"1969","unstructured":"Marcus, S.: Contextual grammars. Rev. Roum. Math. Pures Appl.\u00a014, 1525\u20131534 (1969)","journal-title":"Rev. Roum. Math. Pures Appl."},{"issue":"2","key":"16_CR20","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. Theor. Comput. Sci.\u00a0330(2), 339\u2013348 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR21","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.\u00a04664, pp. 205\u2013217. Springer, Heidelberg (2007)"},{"key":"16_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8969-7","volume-title":"Marcus Contextual Grammars","author":"G. P\u0103un","year":"1997","unstructured":"P\u0103un, G.: Marcus Contextual Grammars. Kluwer Academic Publishers, Norwell (1997)"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"P\u0103un, G.: Membrane Computing. An Introduction. Springer (2002)","DOI":"10.1007\/978-3-642-56196-2"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A.: DNA Computing: New Computing Paradigms. Springer (1998)","DOI":"10.1007\/978-3-662-03563-4"},{"key":"16_CR25","volume-title":"Handbook of Formal Languages","year":"1997","unstructured":"Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Berlin (1997)"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Smith, W.D.: DNA computers in vitro and in vivo. In: Lipton, R., Baum, E. (eds.) Proceedings of DIMACS Workshop on DNA Based Computers. DIMACS Series in Discrete Math. and Theoretical Computer Science, pp. 121\u2013185. Amer. Math. Society (1996)","DOI":"10.1090\/dimacs\/027\/07"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Takahara, A., Yokomori, T.: On the computational power of insertion-deletion systems. In: Hagiya, M., Ohuchi, A. (eds.) DNA8. LNCS, vol.\u00a02568, pp. 269\u2013280. Springer, Heidelberg (2003)","DOI":"10.1007\/3-540-36440-4_24"},{"issue":"1-2","key":"16_CR28","first-page":"317","volume":"12","author":"S. Verlan","year":"2007","unstructured":"Verlan, S.: On minimal context-free insertion-deletion systems. Journal of Automata, Languages and Combinatorics\u00a012(1-2), 317\u2013328 (2007)","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"16_CR29","unstructured":"Verlan, S.: Study of language-theoretic computational paradigms inspired by biology. Habilitation thesis, University of Paris Est (2010)"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54239-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:14:53Z","timestamp":1746116093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54239-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642542381","9783642542398"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54239-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}