31
个编辑
更改
跳到导航
跳到搜索
第63行：
第63行： + + + + + +
无编辑摘要
# 假设$C_1$和$C_2$为已经建立的受限生成过程，且$C_1$中的机制$i$有一个自己有输入$j$。将输入$j$与$C_2$中的某个其他机制$h$连接（这样，输入$j$就不再是自由的），就会得到一个新的受限生成过程$C^{<nowiki>''</nowiki>}$。
# 假设$C_1$和$C_2$为已经建立的受限生成过程，且$C_1$中的机制$i$有一个自己有输入$j$。将输入$j$与$C_2$中的某个其他机制$h$连接（这样，输入$j$就不再是自由的），就会得到一个新的受限生成过程$C^{<nowiki>''</nowiki>}$。
# 通过以上三步，就可以建立所有以$F$为基础的受限生成过程。
# 通过以上三步，就可以建立所有以$F$为基础的受限生成过程。
我们用n(C)来表示受限生成过程C中机制的总个数。那么集合{1,2,...,n(C)}，就可以给受限生成过程C中每一个机制分配一个唯一表示。这些标识的简历，可以模拟受限生成过程的创建过程。
# 若一个受限生成过程$C$可以由一个单一的机制 $f \in F$ 构成，则f的标识就是 x =1。
# 若一个受限生成过程$C^{'}$是由$C$中的一个自由输入和其他机制连接构成，则表示不变。
# 若一个受限生成过程$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)。