Cell / Symbol Complexity of Tissue P Systems with Symport / Antiport Rules (bibtex)

by Alhazov, Artiom, Freund, Rudolf and Oswald, Marion

Abstract:

We consider tissue P systems with symport/antiport rules and investigate their computational power when using only a (very) small number of symbols and cells. Even when using only one symbol, we need at most six (seven when allowing only one channel between a cell and the environment) cells to generate any recursively enumerable set of natural numbers. On the other hand, with only one cell we can only generate regular sets when using one channel with the environment, whereas one cell with two channels between the cell and the environment obtains computational completeness with five symbols. Between these extreme cases of one symbol and one cell, respectively, there seems to be a trade-off between the number of cells and the number of symbols. For example, for the case of tissue P systems with two channels between a cell and the environment we show that computational completeness can be obtained with two cells and three symbols as well as with three cells and two symbols, respectively. Moreover, we also show that some variants of tissue P systems characterize the families of finite or regular sets of natural numbers.

Reference:

Cell / Symbol Complexity of Tissue P Systems with Symport / Antiport Rules (Alhazov, Artiom, Freund, Rudolf and Oswald, Marion), In International Journal of Foundations of Computer Science, World Scientific, volume 17, 2006.

Bibtex Entry:

@Article{j87, author = {Alhazov, Artiom AND Freund, Rudolf AND Oswald, Marion}, title = {Cell / Symbol Complexity of Tissue P Systems with Symport / Antiport Rules}, journal = {International Journal of Foundations of Computer Science}, year = {2006}, volume = {17}, number = {1}, pages = {3-26}, abstract = {We consider tissue P systems with symport/antiport rules and investigate their computational power when using only a (very) small number of symbols and cells. Even when using only one symbol, we need at most six (seven when allowing only one channel between a cell and the environment) cells to generate any recursively enumerable set of natural numbers. On the other hand, with only one cell we can only generate regular sets when using one channel with the environment, whereas one cell with two channels between the cell and the environment obtains computational completeness with five symbols. Between these extreme cases of one symbol and one cell, respectively, there seems to be a trade-off between the number of cells and the number of symbols. For example, for the case of tissue P systems with two channels between a cell and the environment we show that computational completeness can be obtained with two cells and three symbols as well as with three cells and two symbols, respectively. Moreover, we also show that some variants of tissue P systems characterize the families of finite or regular sets of natural numbers.}, file = {AFO2006a.pdf:pdfs/AFO2006a.pdf:PDF}, keywords = {membrane computing, antiport rules, cells, descriptional complexity, tissue P systems, universality}, publisher = {World Scientific}, }

Powered by bibtexbrowser