弱交替自动机上的空性
我想问是否有算法（也已经实现）用于检查交替自动机（特别是弱交替自动机）的空性。
I wanted to ask if there are algorithms (also already implemented) for checking emptiness of an alternating automaton in particular a weak alternating automaton.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
有一个名为 ALASKA 的实现： http://www.antichains.be/alaska/ - 您还将在该页面上找到相应理论论文的链接。
There's an implementation called ALASKA: http://www.antichains.be/alaska/ - you will also find links to the respective theory papers on that page.