44、计算领域的前沿探索：从控制状态图到膜计算与动态访问控制建模

计算领域的前沿探索：从控制状态图到膜计算与动态访问控制建模

1. 控制状态图语义的形式化规范

在控制状态图（CSD）语义的研究中，M. Leitz 和 A. Raschke引入了位置标签。在翻译规则里，会用框架标记文本片段，并使用希腊字母命名位置。除了生成和插入文本抽象状态机（ASM）外，还会设置受影响节点的状态和新位置（即 nextModePos）。以下示例展示了模式节点后接规则时的通用行为：

⇒let α, β = new (Position) in
AddTextualASM(pos,
if mode = m1 then
α
β
)
-- add framed ASM snippet
to main ASM at position
pos and define new posi-
tions α, β
status( r1 ) := active
positions( r1 ) := positions( r1 ) ∪{α}
nextModePos := β

在翻译过程中，会使用如 m1 作为节点实际标签的变量。在位置 α，下一步会插入以 r1 为源节点的组合的翻译；在位置 β，会插入下一个模式节点翻译的文本片段。

1.1 总结

通过将 CSD 转换为文本 ASM，对其语义进行了形式化定义。这种转换，结合将 CSD 分解为包含节点及其后继的简单子图，方便了人类读者对 CSD 语义的理解。

2. 用 ASM 捕捉膜计算

2.1 膜结构与 P - 系统

自然计算以自然过程为模型，涵盖神