我想问是否有算法（也已经实现）来检查交替自动机的空性，特别是弱交替自动机。 最佳答案 有一个叫做阿拉斯加的实现：http://www.antichains.be/alaska/-你也可以在那一页找到相关理论论文的链接。