有限语言
摘要：无穷正则语言类提供了一种健壮的验证规范语言。每个无穷正则条件都可以分解为安全性部分和活性部分。活性部分确保最终会发生某些良好的事情。Alur和Henzinger提出了有限活性性质作为活性的更强的表述。它要求存在一个未知的、固定的界限b，使得在b个转换内会发生一些良好的事情。在这项工作中，我们考虑由有限Buchi、奇偶和Streett语言定义的接受条件的自动机。我们研究了由这些自动机可表达的语言：我们给出了它们的拓扑复杂度，并给出了一个正则表达式的特征化。我们比较了有限自动机的表达能力，并为经典决策问题提供了最优算法。我们表明有限语言是Sigma 2-完备的；我们给出了具有有限和无限接受条件的各种自动机类的表达能力的完整图景；我们表明由有限奇偶自动机定义的语言完全特征化了omega B-正则语言的星自由片段；我们证明了空也是NLOGSPACE-完备的，而普遍性以及语言包含性对于有限奇偶和Streett自动机来说也是PSPACE-完备的。
作者：Krishnendu Chatterjee (IST Austria), Nathana"el Fijalkow (IST Austria, ENS Cachan)
论文ID：1101.1727
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-02-03