{"title":"Timed Tissue P Systems With Channel States","authors":"Yueguo Luo;Yuzhen Zhao;Yi Liu","doi":"10.1109/TNB.2023.3278653","DOIUrl":null,"url":null,"abstract":"Tissue P systems with channel states are a variant of tissue P systems that can be employed as highly parallel computing devices, where the channel states can control the movements of objects. In a sense, the time-free approach can improve the robustness of P systems; hence, in this work, we introduce the time-free property into such P systems and explore their computational performances. Specifically, in a time-free manner, it is proved that this type of P systems have Turing universality by using two cells and four channel states with a maximum rule length of 2, or by using two cells and noncooperative symport rules with a maximum rule length of 1. Moreover, in terms of computational efficiency, it is proved that a uniform solution of the satisfiability (\n<inline-formula> <tex-math>$\\mathcal {SAT}$ </tex-math></inline-formula>\n) problem can be obtained in a time-free manner by applying noncooperative symport rules with a maximum rule length of 1. The research results of this paper show that a highly robust dynamic membrane computing system is constructed. Theoretically, relative to the existing system, our constructed system can enhance robustness and expand its application scope.","PeriodicalId":13264,"journal":{"name":"IEEE Transactions on NanoBioscience","volume":"23 1","pages":"26-34"},"PeriodicalIF":3.7000,"publicationDate":"2023-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on NanoBioscience","FirstCategoryId":"99","ListUrlMain":"https://ieeexplore.ieee.org/document/10149127/","RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BIOCHEMICAL RESEARCH METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
Tissue P systems with channel states are a variant of tissue P systems that can be employed as highly parallel computing devices, where the channel states can control the movements of objects. In a sense, the time-free approach can improve the robustness of P systems; hence, in this work, we introduce the time-free property into such P systems and explore their computational performances. Specifically, in a time-free manner, it is proved that this type of P systems have Turing universality by using two cells and four channel states with a maximum rule length of 2, or by using two cells and noncooperative symport rules with a maximum rule length of 1. Moreover, in terms of computational efficiency, it is proved that a uniform solution of the satisfiability (
$\mathcal {SAT}$
) problem can be obtained in a time-free manner by applying noncooperative symport rules with a maximum rule length of 1. The research results of this paper show that a highly robust dynamic membrane computing system is constructed. Theoretically, relative to the existing system, our constructed system can enhance robustness and expand its application scope.
具有通道状态的组织 P 系统是组织 P 系统的一种变体,可用作高度并行计算设备,其中通道状态可控制物体的运动。从某种意义上说,无时间方法可以提高 P 系统的鲁棒性;因此,在这项工作中,我们将无时间特性引入此类 P 系统,并探索其计算性能。具体来说,在无时间方式下,通过使用最大规则长度为 2 的两个单元和四个通道状态,或使用最大规则长度为 1 的两个单元和非合作交配规则,证明了这类 P 系统具有图灵普遍性。此外,在计算效率方面,本文证明了通过应用最大规则长度为 1 的非合作交配规则,可以在无时间限制的情况下获得可满足性(SAT)问题的统一解。从理论上讲,相对于现有系统,我们构建的系统可以增强鲁棒性并扩大其应用范围。
期刊介绍:
The IEEE Transactions on NanoBioscience reports on original, innovative and interdisciplinary work on all aspects of molecular systems, cellular systems, and tissues (including molecular electronics). Topics covered in the journal focus on a broad spectrum of aspects, both on foundations and on applications. Specifically, methods and techniques, experimental aspects, design and implementation, instrumentation and laboratory equipment, clinical aspects, hardware and software data acquisition and analysis and computer based modelling are covered (based on traditional or high performance computing - parallel computers or computer networks).