algorithm - 弱交替自动机上的空虚

Question

我想问是否有算法（也已经实现）来检查交替自动机的空性，特别是弱交替自动机。

Answer 1

有一个名为 ALASKA 的实现：http ://www.antichains.be/alaska/ - 您还可以在该页面上找到相应理论论文的链接。