4、阵列文法控制机制解析

阵列文法控制机制解析

规则激活与阻塞文法

规则激活与阻塞文法（AB - 文法）是一种特殊的文法结构。对于类型为 X 的 AB - 文法，其形式为 (G_{AB} = (G_s, L, f_L, A, B, L_0, \Rightarrow_{G_{AB}}))，其中 (G_s = (O, O_T, w, P, \Rightarrow_{G})) 是类型为 X 的基础文法。

• 标签与规则对应 ：(L) 是一个有限的标签集合，通过函数 (f_L) 为每个标签分配 (P) 中的一条规则。
• 激活与阻塞关系 ：(A) 和 (B) 分别是 (L \times L \times N) 的有限子集，代表激活和阻塞关系。
• 初始条件 ：(L_0) 是有限的元组集合，形式为 (\langle q, Q, \overline{Q} \rangle)，其中 (q \in L)，(Q) 和 (\overline{Q}) 中的元素形式为 ((l, t))，(l \in L) 且 (t \in N)，(t > 1)。

推导过程从 (L_0) 中的一个元素 (\langle q, Q, \overline{Q} \rangle) 开始，意味着在第一步要将标签为 (q) 的规则应用于初始对象 (w)，后续推导要考虑 (Q) 中的规则激活条件和 (\overline{Q}) 中的规则阻塞条件。

一个 (G_{AB}) 的配置可以用已推导的对象以及下一步的激活 (Q) 和阻塞 (\overline{Q}) 来