×

兹马思-数学第一资源

从不确定性Büchi和Streett自动机到确定性奇偶自动机。(英语) Zbl 1125.68067
摘要:我们重温Safra关于无限词自动机的决定结构。我们展示了如何构造具有较少状态和最重要的奇偶接受条件的确定性自动机。确定性被广泛应用于树自动机的推理、CTL的可满足性、逻辑规范的可实现性和综合。所有这些应用的上界都通过使用我们构造的更小的确定性自动机而减小。此外,奇偶性接受条件允许我们使用更有效的算法(与处理Rabin或Streett接受条件相比)。

理学硕士:
68Q45号 形式语言与自动机
03D05年 自动机与形式文法与逻辑问题
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 多伊