7、并行上下文数组插入删除语法及相关P系统详解

并行上下文数组插入删除语法及相关P系统详解

1. 语言生成基础

在研究中，我们遇到了一些不同的语言生成规则。例如，由某种规则生成的语言 (L(G_H)) 定义为 (L(G_H) = {S_1^n S_2 S_1^n S_2 S_1^n | n \geq 1})。

还有另一种语言 (L(G_2))，它是由关于集合 ({x, •}) 上的所有矩阵构成的集合，这些矩阵具有以下性质：
1. 包含一行全为 (x) 的元素。
2. 列数为 (3n + 2)，其中 (n \geq 1)。
3. 有 (3n) 个相同的列，且每列全为 (x)。
4. 有两个相同的列，其顶部和底部都不是 (x)。
5. 行数 (m \geq 3)。

并且 (L(G_2)) 属于 TCSML，但不属于 CSML。以下是一些 (L(G_2)) 的示例推导：
- (S_1S_2S_1S_2S_1 \Rightarrow_{t2} \begin{matrix}x & • & x & • & x\end{matrix})
- (S_1 A S_1 A S_1 \Rightarrow_{t3} \begin{matrix}x & • & x & • & x \ x & x & x & x & x\end{matrix})
- (S_1 B S_1 B S_1 \Rightarrow_{t5} \begin{matrix}x & • & x & • & x \ x & x & x & x &