对某些膜系统而言，一致性弱于半一致性

我们研究以有限计算设备族形式呈现的计算模型，且整个族需满足一致性条件。此类模型的示例包括布尔电路、膜系统、DNA 计算机、化学反应网络和瓦片组装系统，此外还有许多其他模型。然而，在此类模型中实际上存在两种截然不同的一致性条件。第一种最为常见且易于理解，即将每个输入长度映射到单个计算设备（例如布尔电路），该设备在该长度的有限输入集上进行计算。第二种称为半一致性（semi-uniformity），即将每个输入映射到专用于该输入的计算设备（例如将输入编码为常数的电路）。前一种概念在布尔电路复杂性中广为人知并得到应用，而后一种概念则常见于过去二十年左右受自然启发的计算文献中。这两个概念是否不同？对于许多模型，已发现这些概念实际上是相同的，即选择一致性或半一致性会导致对相同复杂性类的刻画。在其他相关工作中，我们证明了对于某些类别的布尔电路，这些概念实际上是不同的。在此，我们通过证明某些类别的一致性膜系统严格弱于类似的半一致性类别，给出了膜系统的类比结果。这解决了膜系统理论中一个已知的开放问题。随后，我们进一步提出结果，旨在分别用 NL 和可归约到 NL 中一元语言的语言来刻画这些半一致性和一致性膜模型的能力。