8、语法规则激活与阻塞及Hammersley类型过程的语言和级数研究

语法规则激活与阻塞及Hammersley类型过程的语言和级数研究

1. 顺序语法规则的激活与阻塞

在顺序语法的研究中，规则的适用性调节是一个重要的概念。通过基于前一步规则的应用来调节规则的适用性，这种方法可以与多种其他控制机制进行比较，如基于规则适用性的图控制、矩阵语法以及随机上下文语法等。

1.1 AB语法与图控制语法的模拟

在AB语法的计算模拟中，通过控制图选择正确的路径，最终在节点∅结束计算。具体来说，当通过N边到达节点$(\overline{q}, Q, \overline{Q})$时，如果$\overline{R}$为空，可以省略经过该节点的路径，直接到达节点$(p, P, \overline{P})$。计算过程如下：
- 首先检查$t_0 := min{t | (x, t) \in Q, t > 1}$是否存在。
- 若不存在，则计算以N边结束于节点∅。
- 若存在，N边会到达每个节点$(p, P, \overline{P})$，其中$p \in {x | (x, t_0) \in Q}$，$\overline{P} = {(x, i) | (x, i + t_0 - 1) \in \overline{Q}, i > 0}$，$P = {(x, i) | (x, i + t_0 - 1) \in Q}$。

如果在选择规则时出现错误，虽然在AB语法中推导仍然有效，但在大多数标准类型中，这种推导可能不会产生终端对象。最终可以得出，图控制语法GGC生成的语言与AB语法GAB相同。

1.2 特定对象的特殊结果

• 数组