Details

Autor(en) / Beteiligte

• Song, Bosheng
• Pan, Linqiang

Titel

Rule synchronization for tissue P systems

Ist Teil von

• Information and computation, 2021-12, Vol.281, p.104685, Article 104685

Ort / Verlag

Elsevier Inc

Erscheinungsjahr

2021

Quelle

Access via ScienceDirect (Elsevier)

Beschreibungen/Notizen

• Maximally parallel manner is a usual rule application strategy for P systems, where rules should be used in parallel to the maximum degree possible. In this work, we consider a rule application strategy, rule synchronization, where some synchronization sets of rules are given, a rule in a synchronization set of rules can be applied only if all rules in the set are enabled. Tissue P systems with synchronized symport/antiport rules and synchronization sets of rules are called tissue P systems with synchronized symport/antiport rules. We prove that tissue P systems with synchronized symport/antiport rules consisting of only one cell are universal. Besides, we prove that the SAT problem can be solved by the proposed tissue P systems when cell division rules are introduced. The results show that synchronization over rules is a rule application strategy that can increase the computational power of tissue P systems with symport/antiport rules.