布尔运算和连接与星号组合的状态复杂性的通用见证者
形式语言与自动机理论
2012-07-10 v1
摘要
我们研究了布尔运算和乘积（连接、串联）与星号组合的状态复杂性。我们推导了对称差和两个语言（其中一个或两个带星号）的差，以及两个带星号语言的乘积的紧上界。我们证明，先前发现的关于带一个或两个星号参数的语言的并集和交集、两个语言（其中一个带星号）的乘积，以及两个语言乘积的星号的上界，都可以由最近引入的通用见证者及其变体达到。
引用
@article{arxiv.1207.1982,
title = {Universal Witnesses for State Complexity of Boolean Operations and Concatenation Combined with Star},
author = {Janusz Brzozowski and David Liu},
journal= {arXiv preprint arXiv:1207.1982},
year = {2012}
}
备注
16 pages, 7 figures, LNCS style