12、事件时钟嵌套自动机与平面自动机同步研究

事件时钟嵌套自动机与平面自动机同步研究

事件时钟嵌套自动机相关内容

1. 自动机类的关系
   • 存在一些语言不可由不使用特定时钟的 Büchi ECNA 定义，如不使用抽象预测器时钟，$L_{caller}^T$ 不可由不使用调用者时钟的 Büchi ECNA 定义，且 $L_{rec}^T ∪ L_{pred}^T ∪ L_{caller}^T$ 不可由 Büchi AR ECNA、Büchi AP ECNA 和 Büchi C ECNA 定义。
   • 定理 2 表明，AR ECNA、AP ECNA 和 C ECNA 类相互不可比，且 $AP ECNA ∪ AR ECNA ∪ C ECNA ⊂ ECNA$。同时有以下包含关系：
     • $ECVPA ⊂ AR ECNA$
     • $ECVPA ⊂ AP ECNA$
     • $ECVPA ⊂ C ECNA$
     • $ECNA ⊂ VPTA$
   • 这些表达能力结果对于有限定时字也成立。
2. Büchi ECNA 的决策过程
   • 研究了 Büchi ECNA 的空性、普遍性和语言包含问题，以及可见模型检查问题（给定可见下推定时系统 $S$ 和 Büchi ECNA $A$，判断 $L_T(S) ⊆ L_T(A)$ 是否成立）。这些问题是可判定的，并且是 Exptime - 完全的。