# 若一个受限生成过程$C^{'}$是$C_1$和$C_2$通过将$C_1$的一个自由输入与$C_2$中的一个机制相连接形成的,则$C_1$的表示不变,$C_2$中的每一个表示x都增加n(C_1)以生成一个新的表示 x' = x + n(C_1),即 n(C') = n(C_1) + n(C_2)。 | # 若一个受限生成过程$C^{'}$是$C_1$和$C_2$通过将$C_1$的一个自由输入与$C_2$中的一个机制相连接形成的,则$C_1$的表示不变,$C_2$中的每一个表示x都增加n(C_1)以生成一个新的表示 x' = x + n(C_1),即 n(C') = n(C_1) + n(C_2)。 |