有限半群上Froidure-Pin算法的两种变体

本文提出了两种基于Froidure-Pin算法的算法，用于从生成集计算有限半群的结构。与Froidure和Pin的原始算法一样，此处给出的算法生成左、右Cayley图、一个合流终止重写系统，以及半群中每个元素的该重写系统的约化字。若$U$为任意半群，$A$为$U$的子集，则记$\langle A\rangle$为包含$A$的$U$的最小子半群。若$B$为$U$的任意其他子集，则粗略而言，我们给出的第一个算法描述了如何利用通过Froidure-Pin算法已发现的关于$\langle A\rangle$的任何信息来计算半群$\langle A\cup B\rangle$。更确切地说，我们描述了由Froidure和Pin给出的有限半群$S$的数据结构，以及如何从$\langle A\rangle$的数据结构获得$\langle A\cup B\rangle$的此类数据结构。第二个算法是Froidure-Pin算法的无锁并发版本。