对Pi演算书中一个问题的解释

网友的问题：郝克刚老师，你好，您推荐的一本pi演算的书《通信与移动系统pi演算》，其中的第37到38面中有关彩票机的部分我看得不是很懂。您能把他里面的过程跟我解释得更加详细一点吗？2011.10.21.

问题的解释：

我试着做些解释，咱们共同讨论。

书中举这个例子是为了说明REACT规则和 TAU规则等反应规则的应用。关于彩票机，书中提出了两种表达方案。

第一种方案就是38页第三行所写的Lotspec的定义表达式。是以t为前缀的n个项的和式，在这些项中究竟执行哪个动作t完全是随机的，从而表达式演变为bi. Lotspec, 其中观察到的bi也是完全随机的，从而实现了随机的摇号。我想这点可能不是你的问题。

书中又提出了另一种表达方案。构造一种通用的单元A(a,b,c), 然后用其创建n（书中举例n=3）个实例：A1= A (a1,b1,a2), A2= A (a2,b2,a3), A3= A (a3,b3,a1)。再把这三个实例首尾连接成一个环。为了直观可以画一张标号迁移示意图如下，其中横线表示标号迁移需要同步。

假定开始的状态是C1|A2|A3，可以演化为A1|C2|A3，A1|A2|C3，C1|A2|A3，…不断循环。也有可能在上述进程中随机地进入B1|A2|A3，A1|B2|A3或A1|A2|B3中的一个稳定状态，可观察到b1，b2或b3，从而表达了摇号的机制。

以上就是我的理解和解释，不知对你是否有所帮助。

郝克刚 2011.11.6.