{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T05:29:28Z","timestamp":1738906168763,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540958840"},{"type":"electronic","value":"9783540958857"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-95885-7_20","type":"book-chapter","created":{"date-parts":[[2009,1,15]],"date-time":"2009-01-15T04:07:19Z","timestamp":1231992439000},"page":"274-291","source":"Crossref","is-referenced-by-count":0,"title":["How Redundant Is Your Universal Computation Device?"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Leporati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Zandron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giancarlo","family":"Mauri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45132-3_1","volume-title":"Machines, Computations, and Universality","author":"C. Baiocchi","year":"2001","unstructured":"Baiocchi, C.: Three small universal turing machines. In: Margenstern, M., Rogozhin, Y. (eds.) MCU 2001. LNCS, vol.\u00a02055, pp. 1\u201310. Springer, Heidelberg (2001)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Balc\u00e1zar, J.L., D\u00edaz, J., Gabarr\u00f3, J.: Structural Complexity, vol.\u00a0I and II. Springer, Heidelberg (1988\u20131990)","DOI":"10.1007\/978-3-642-75357-2"},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.25088\/ComplexSystems.15.1.1","volume":"15","author":"M. Cook","year":"2004","unstructured":"Cook, M.: Universality in elementary cellular automata. Complex Systems\u00a015, 1\u201340 (2004)","journal-title":"Complex Systems"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/j.tcs.2006.11.023","volume":"372","author":"E. Csuhaj\u2013Varj\u00fa","year":"2007","unstructured":"Csuhaj\u2013Varj\u00fa, E., Margenstern, M., Vaszil, G., Verlan, S.: On small universal antiport P systems. Theoretical Computer Sci.\u00a0372, 152\u2013164 (2007)","journal-title":"Theoretical Computer Sci."},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-31834-7_16","volume-title":"Machines, Computations, and Universality","author":"R. Freund","year":"2005","unstructured":"Freund, R., Leporati, A., Oswald, M., Zandron, C.: Sequential P systems with unit rules and energy assigned to membranes. In: Margenstern, M. (ed.) MCU 2004. LNCS, vol.\u00a03354, pp. 200\u2013210. Springer, Heidelberg (2005)"},{"key":"20_CR6","unstructured":"Freund, R., Oswald, M.: Small universal antiport P systems and universal multiset grammars. In: Proc. 4th Brainstorming Week on Membrane Computing, RGNC Report 03\/2006, F\u00e9nix Editora, Sevilla, vol.\u00a0II, pp. 51\u201364 (2006)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11925903_1","volume-title":"DNA Computing","author":"M. Ionescu","year":"2006","unstructured":"Ionescu, M., P\u0103un, A., P\u0103un, Gh., Jes\u00fas P\u00e9rez-J\u00edmenez, M.: Computing with spiking neural P systems: Traces and small universal systems. In: Mao, C., Yokomori, T. (eds.) DNA12. LNCS, vol.\u00a04287, pp. 1\u201316. Springer, Heidelberg (2006)"},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3233\/FUN-2006-712-308","volume":"71","author":"M. Ionescu","year":"2006","unstructured":"Ionescu, M., P\u0103un, Gh., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae\u00a071, 279\u2013308 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0304-3975(96)00080-1","volume":"168","author":"I. Korec","year":"1996","unstructured":"Korec, I.: Small universal register machines. Theoretical Computer Sci.\u00a0168, 267\u2013301 (1996)","journal-title":"Theoretical Computer Sci."},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0304-3975(96)00078-3","volume":"168","author":"M. Kudlek","year":"1996","unstructured":"Kudlek, M.: Small deterministic Turing machines. Theoretical Computer Sci.\u00a0168, 241\u2013255 (1996)","journal-title":"Theoretical Computer Sci."},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/3-540-46011-X_27","volume-title":"Developments in Language Theory","author":"M. Kudlek","year":"2002","unstructured":"Kudlek, M., Rogozhin, Y.: A universal turing machine with 3 states and 9 symbols. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds.) DLT 2001. LNCS, vol.\u00a02295, pp. 311\u2013318. Springer, Heidelberg (2002)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1090\/pspum\/005\/0142452","volume-title":"Recursive Function Theory, Symp. in Pure Mathematics","author":"M.L. Minsky","year":"1962","unstructured":"Minsky, M.L.: Size and structure of universal Turing machines using Tag systems. In: Recursive Function Theory, Symp. in Pure Mathematics, pp. 229\u2013238. American Mathematical Society, Providence (1962)"},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.tcs.2006.06.002","volume":"362","author":"T. Neary","year":"2006","unstructured":"Neary, T., Woods, D.: Small fast universal Turing machines. Theoretical Computer Sci.\u00a0362, 171\u2013195 (2006)","journal-title":"Theoretical Computer Sci."},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-74593-8_21","volume-title":"Machines, Computations, and Universality","author":"T. Neary","year":"2007","unstructured":"Neary, T., Woods, D.: Four small universal turing machines. In: Durand-Lose, J., Margenstern, M. (eds.) MCU 2007. LNCS, vol.\u00a04664, pp. 242\u2013254. Springer, Heidelberg (2007)"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-74593-8_26","volume-title":"Machines, Computations, and Universality","author":"D. Woods","year":"2007","unstructured":"Woods, D., Neary, T.: Small semi-weakly universal turing machines. In: Durand-Lose, J., Margenstern, M. (eds.) MCU 2007. LNCS, vol.\u00a04664, pp. 303\u2013315. Springer, Heidelberg (2007)"},{"key":"20_CR16","unstructured":"Neary, T., Woods, D.: Small weakly universal Turing machines, arXiv [cs.CC]: 0707.4489v1 (2007)"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.biosystems.2006.06.006","volume":"90","author":"A. P\u0103un","year":"2007","unstructured":"P\u0103un, A., P\u0103un, Gh.: Small universal spiking neural P systems. BioSystems\u00a090, 48\u201360 (2007)","journal-title":"BioSystems"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G.. P\u0103un","year":"2000","unstructured":"P\u0103un, Gh.: Computing with membranes. J. Computer and System Sci.\u00a061, 108\u2013143 (2000)","journal-title":"J. Computer and System Sci."},{"key":"20_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing. An Introduction","author":"G.. P\u0103un","year":"2002","unstructured":"P\u0103un, Gh.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)"},{"key":"20_CR20","first-page":"76","volume":"69","author":"Y. Rogozhin","year":"1982","unstructured":"Rogozhin, Y.: Seven universal Turing machines. Math. Issled\u00a069, 76\u201390 (1982)","journal-title":"Math. Issled"},{"key":"20_CR21","first-page":"80","volume":"4","author":"Y. Rogozhin","year":"1992","unstructured":"Rogozhin, Y.: A universal Turing machine with 10 states and 3 symbols. Izv. Akad. Nauk. Respub. Moldova Mat.\u00a04, 80\u201382, 95 (1992)","journal-title":"Izv. Akad. Nauk. Respub. Moldova Mat."},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(96)00077-1","volume":"168","author":"Y. Rogozhin","year":"1996","unstructured":"Rogozhin, Y.: Small universal Turing machines. Theoretical Computer Sci.\u00a0168, 215\u2013240 (1996)","journal-title":"Theoretical Computer Sci."},{"key":"20_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/11603047_24","volume-title":"Membrane Computing","author":"Y. Rogozhin","year":"2006","unstructured":"Rogozhin, Y., Verlan, S.: On the rule complexity of universal tissue P systems. In: Freund, R., P\u0103un, Gh., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol.\u00a03850, pp. 356\u2013362. Springer, Heidelberg (2006)"},{"key":"20_CR24","first-page":"157","volume":"34","author":"C.E. Shannon","year":"1956","unstructured":"Shannon, C.E.: A universal Turing machine with two internal states. Automata Studies, Ann. Math. Stud.\u00a034, 157\u2013165 (1956)","journal-title":"Automata Studies, Ann. Math. Stud."},{"key":"20_CR25","unstructured":"Sipser, M.: Introduction to the Theory of Computation. PWS Publishing Co. (1997)"},{"key":"20_CR26","volume-title":"A New Kind of Science","author":"S. Wolfram","year":"2002","unstructured":"Wolfram, S.: A New Kind of Science. Wolfram Media, Champaign (2002)"},{"key":"20_CR27","unstructured":"The P systems Web page, http:\/\/ppage.psystems.eu\/"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95885-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T23:37:02Z","timestamp":1738885022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95885-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540958840","9783540958857"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95885-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}