Local Synchronization on Asynchronous Tissue P Systems With Symport/Antiport Rules

Asynchronous tissue P systems with symport/antiport rules are a class of parallel computing models inspired by cell tissue working in a non-synchronized way, where the use of rules is not obligatory, that is, at a computation step, an enabled rule may or may not be applied. In this work, the notion of local synchronization is introduced at three levels: rules, channels, and cells. If a rule in a locally synchronous set of rules (resp., cells or channels) is used, then all enabled rules in the same locally synchronous set of rules (resp., whose involved channels or cells) should be applied in a maximally parallel manner and the implementation of these rules is finished in one computation step. The computational power of local synchronization on asynchronous tissue P systems with symport/antiport rules at the three levels is investigated. It is shown that asynchronous tissue P systems with symport/antiport rules and with locally synchronous sets of rules, channels, or cells are all Turing universal. By comparing the computational power of asynchronous tissue P systems with or without local synchronization, it can be found that the local synchronization is a useful tool to achieve a desired computational power.

[1]  Hendrik Jan Hoogeboom,et al.  P systems with symport/antiport simulating counter automata , 2004, Acta Informatica.

[2]  Mario J. Pérez-Jiménez,et al.  A uniform family of tissue P systems with cell division solving 3-COL in a linear time , 2008, Theor. Comput. Sci..

[3]  Rudolf Freund,et al.  Asynchronous P Systems and P Systems Working in the Sequential Mode , 2004, Workshop on Membrane Computing.

[4]  Linqiang Pan,et al.  Flat maximal parallelism in P systems with promoters , 2016, Theor. Comput. Sci..

[5]  Pierluigi Frisco.  About P systems with symport/antiport , 2005, Soft Comput..

[6]  Michael Levin,et al.  Modeling regenerative processes with membrane computing , 2017, Inf. Sci..

[7]  Artiom Alhazov,et al.  Cell/symbol complexity of tissue P systems with symport/antiport rules , 2006, Int. J. Found. Comput. Sci..

[8]  Mario de Jesús Pérez Jiménez,et al.  Computational Efficiency of Cellular Division in Tissue-like Membrane Systems , 2008 .

[9]  Artiom Alhazov,et al.  P Systems Working in Maximal Variants of the Set Derivation Mode , 2016, Int. Conf. on Membrane Computing.

[10]  Linqiang Pan,et al.  A time-free uniform solution to subset sum problem by tissue P systems with cell division , 2015, Mathematical Structures in Computer Science.

[11]  Linqiang Pan,et al.  The computational power of tissue-like P systems with promoters , 2016, Theor. Comput. Sci..

[12]  Raghavan Rama,et al.  Tissue P Systems with Contextual and Rewriting Rules , 2002, WMC-CdeA.

[13]  Oscar H. Ibarra,et al.  On spiking neural P systems , 2006, Natural Computing.

[14]  Mario J. Pérez-Jiménez,et al.  Cell-like P systems with polarizations and minimal rules , 2020, Theor. Comput. Sci..

[15]  Linqiang Pan,et al.  Tissue-like P systems with evolutional symport/antiport rules , 2017, Inf. Sci..

[16]  Artiom Alhazov,et al.  Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes , 2007, Workshop on Membrane Computing.

[17]  Artiom Alhazov,et al.  One-membrane symport with few extra symbols , 2013, Int. J. Comput. Math..

[18]  Gheorghe Paun.  P Systems with Active Membranes: Attacking NP-Complete Problems , 2001, J. Autom. Lang. Comb..

[19]  Gabriel Ciobanu,et al.  P systems with minimal parallelism , 2007, Theor. Comput. Sci..

[20]  Artiom Alhazov,et al.  (Tissue) P Systems with Unit Rules and Energy Assigned to Membranes , 2006, Fundam. Informaticae.

[21]  Linqiang Pan,et al.  P Systems with Active Membranes and Separation Rules , 2004, J. Univers. Comput. Sci..

[22]  Artiom Alhazov,et al.  Towards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes , 2006, Workshop on Membrane Computing.

[23]  Gheorghe Paun,et al.  Computing with Membranes: An Introduction , 1999, Bull. EATCS.

[24]  Oscar H. Ibarra,et al.  Asynchronous spiking neural P systems , 2009, Theor. Comput. Sci..

[25]  Linqiang Pan,et al.  Asynchronous spiking neural P systems with local synchronization , 2013, Inf. Sci..

[26]  Gheorghe Păun,et al.  Tissue P Systems with Cell Division , 2008, Int. J. Comput. Commun. Control.

[27]  Pierluigi Frisco,et al.  Asynchronous P systems with active membranes , 2012, Theor. Comput. Sci..

[28]  Petr Sosík,et al.  Small (purely) catalytic P systems simulating register machines , 2016, Theor. Comput. Sci..

[29]  Gheorghe Paun,et al.  The Oxford Handbook of Membrane Computing , 2010 .

[30]  Andrei Paun,et al.  The power of communication: P systems with symport/antiport , 2002, New Generation Computing.

[31]  Mario J. Pérez-Jiménez,et al.  Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division , 2007, IWINAC.

[32]  Artiom Alhazov,et al.  Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems Characterize NFIN and coNFIN , 2012, Int. Conf. on Membrane Computing.

[33]  Artiom Alhazov,et al.  Communication P Systems , 2009 .

[34]  Bosheng Song,et al.  Solution to PSPACE-Complete Problem Using P Systems with Active Membranes with Time-Freeness , 2019 .

[35]  Linqiang Pan,et al.  Tissue P Systems With Channel States Working in the Flat Maximally Parallel Way , 2016, IEEE Transactions on NanoBioscience.

[36]  Alfonso Rodríguez-Patón,et al.  Tissue P systems , 2003, Theor. Comput. Sci..

[37]  Andrei Paun,et al.  Computing by Communication in Networks of Membranes , 2002, Int. J. Found. Comput. Sci..

[38]  Ursula Dresdner,et al.  Computation Finite And Infinite Machines , 2016 .

[39]  Marian Gheorghe,et al.  Evolutionary membrane computing: A comprehensive survey and new results , 2014, Inf. Sci..

[40]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[41]  Mario J. Pérez-Jiménez,et al.  A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study , 2011 .

[42]  Rudolf Freund,et al.  Tissue P systems with channel states , 2005, Theor. Comput. Sci..

[43]  Petr Sosík,et al.  An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation , 2015, Fundam. Informaticae.

[44]  Artiom Alhazov,et al.  Minimal Cooperation in Symport/antiport Tissue P Systems , 2007, Int. J. Found. Comput. Sci..

[45]  Bosheng Song,et al.  P Systems with Rule Production and Removal , 2020, Fundam. Informaticae.

[46]  Artiom Alhazov,et al.  Small asynchronous P systems with inhibitors defining non-semilinear sets , 2017, Theor. Comput. Sci..

[47]  Shuo Wang,et al.  Tissue P systems with cell separation: attacking the partition problem , 2010, Science China Information Sciences.

[48]  Linqiang Pan,et al.  Tissue P Systems with Protein on Cells , 2016, Fundam. Informaticae.