布尔运算和串联与星号相结合的状态复杂性的通用证人
摘要：布尔运算和星乘（串联、连结）的状态复杂度的研究，我们得出了对两个语言的对称差和差异（其中一个或两个都有星标）以及两个星标语言的乘积的严格上界。我们证明了先前发现的关于具有一个或两个星标参数的语言的并集和交集，两个语言之一具有星标的乘积以及两个语言的乘积再星标的上界都可以通过最近引入的通用证人及其变体来满足。
作者：Janusz Brzozowski and David Liu
论文ID：1207.1982
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-07-10