关于布尔网络顺序可控性推理的一种P系统变体
摘要：布尔网络是在布尔变量的向量上操作的离散动力系统。布尔网络的作用可以方便地表示为布尔更新函数的系统，该函数根据其他组成部分的情况计算布尔向量的每个分量的新值。布尔网络广泛用于建模生物系统，这些系统可以看作由可以被激活或去活、表达或抑制、开或关的实体组成。另一方面，P系统经典地被引入为一种层次多重集重写模型。然而，多年来，社区提出了各种P系统变体，包括适用于各种需求的不同成分。在这项工作中，我们提出了一种新的变体--布尔P系统--专门用于推理布尔网络的顺序可控性，并使用它首先确立问题的明确形式，并证明了顺序可控性问题是PSPACE完全的。我们进一步认为，布尔P系统是P系统如何可以用于构建特定问题推理的特定形式的示范，并提供了新的有利观点。
作者：Artiom Alhazov, Vincent Ferrari-Dominguez, Rudolf Freund, Nicolas Glade, Sergiu Ivanov
论文ID：2303.00110
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-03-02