我想问一下是否有算法(也已经实现)来检查交替自动机的空性,特别是弱交替自动机。
最佳答案
有一个名为 ALASKA 的实现:http://www.antichains.be/alaska/ - 您还可以在该页面上找到指向相应理论论文的链接。
关于algorithm - 弱交替自动机上的空性,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4360513/
我想问一下是否有算法(也已经实现)来检查交替自动机的空性,特别是弱交替自动机。
最佳答案
有一个名为 ALASKA 的实现:http://www.antichains.be/alaska/ - 您还可以在该页面上找到指向相应理论论文的链接。
关于algorithm - 弱交替自动机上的空性,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4360513/