声音协商的主动学习

我们提出了两种用于声音确定性协商的主动学习算法。声音确定性协商是分布式系统的模型，是一种带有附加结构的Petri网或Zielonka自动机。我们证明，这种附加结构允许最小化此类协商。两种主动学习算法在它们使用的成员查询类型上有所不同。两者都具有与Angluin的L*算法相似的复杂度，特别是查询次数与协商的大小成多项式关系，而不是与配置数量相关。