8、单路有限自动机的神谕层次结构与阿贝尔自动机群轨道研究

单路有限自动机的神谕层次结构与阿贝尔自动机群轨道研究

单路有限自动机的神谕层次结构

在研究单路有限自动机时，我们引入了一种新的神谕非确定单路有限自动机（oracle - 1nfa）模型，并对其诱导的多项式规模层次结构进行了研究。

首先，有一个关于字符串检查的定义：对于形如 $w#u#u′#v#v′$ 的字符串（其中 $u, u′, v, v′$ 是基于 $[expk(h)]$ 的字符串，且 $w$ 中不包含 #），需要检查 $u$ 中的某个符号是否出现在 $v′$ 中，或者 $u′$ 中的某个符号是否出现在 $v$ 中。

为了使多项式规模的神谕层次结构与交替层次结构相重合，我们对 oracle - 1nfa 提出了一系列限制条件：
1. 多一性（many - one） ：最多进行 1 次查询，并且当且仅当查询答案为“是”时接受。
2. 同步性（synchronous） ：仅在询问查询之前在神谕磁带上打印内容。
3. 简洁性（laconic） ：每次查询时，查询磁带上最多包含 1 个符号。
4. 省略性（omitting） ：对于每次输入分区为 $u, v$ 且查询磁带字符串为 $x$ 的查询，查询字符串省略前缀 $u$，仅为 $xv$。
5. 查询确定性（query - deterministic） ：每次查询时，对于每个可能的先前状态 - 符号 - 移动三元组，查询磁带上最多可以打印 1 个字符串。

满足所有这些限制的 o