Jean-Francis Michon；Jean-Marc Champarnaud公司 自动机和二进制决策图。 （英语） Zbl 0959.68066号 Champarnaud，Jean-Marc（编辑）等人，《自动化实现》。1998年9月17日至19日，第三届国际研讨会，WIA'98，法国鲁昂。修订论文。柏林：斯普林格。莱克特。票据计算。科学。1660, 178-182 (1999). 小结：我们表明，自动机最小化的概念很好地解释了布莱恩特发现的二进制决策图的著名规范性。有关整个系列，请参见[Zbl 0929.00063号]. MSC公司： 65年第68季度 形式语言和自动机 关键词：二元决策图 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Michon}和\textit{J.-M.Champarnaud}，莱克特。票据计算。科学。1660178-182（1999年；Zbl 0959.68066）