基本操作与逆转的状态复杂性的通用证据
摘要：布尔运算、串接和闭包的状态复杂度与一个或两个参数语言的逆的复杂度进行研究。针对这些语言的对称差异和差异，我们得到了紧密的上界。我们证明了先前发现的关于这些语言的并集、交集、串接和闭包的上界可以通过最近引入的通用证人及其变体来满足。
作者：Janusz Brzozowski, David Liu
论文ID：1207.0535
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-07-04