39、字母扁平拼接等矩阵文法系统及相关图论系统研究

字母扁平拼接等矩阵文法系统及相关图论系统研究

1 等矩阵文法基础

等矩阵文法（EMG）规则主要分为以下三种类型：
- 初始矩阵规则 ：形式为 [S → w] ，其中 w ∈ T ∗ ，或者 [S → A1A2 · · · An] ，这里 Ai ∈ Ni ， 1 ≤ i ≤ n 。
- 非终结符等矩阵规则 ：形式为 [A1 → w1B1, · · · , Ak → wnBn] ，其中 wi （ 1 ≤ i ≤ n ）是 T ∗ 的元素，且 Ai, Bi ∈ Ni ， 1 ≤ i ≤ n 。
- 终结符矩阵规则 ：形式为 [A1 → w1, · · · , An → wn] ，其中 wi （ 1 ≤ i ≤ n ）是 T ∗ 的元素。

推导过程从类型（i）的矩阵规则 [S → A1A2 · · · An] 开始，可由类型（ii）的矩阵规则继续，最后由类型（iii）的矩阵规则终止。对一个单词应用矩阵规则 m 时， m 中的所有规则会按