L²和Lᵏ的状态复杂度
计算复杂性
2009-03-29 v2 形式语言与自动机理论
摘要
我们证明了如果M是一个具有n个状态的DFA，其字母表任意，且L = L(M)，则L²的最坏情况状态复杂度为n*2^n - 2^{n-1}。然而，如果M是一个单字母表上的DFA，则对于所有k >= 2，L^k的最坏情况状态复杂度为kn-k+1。
引用
@article{arxiv.cs/0410032,
title = {The state complexity of L^2 and L^k},
author = {Narad Rampersad},
journal= {arXiv preprint arXiv:cs/0410032},
year = {2009}
}
备注
5 pages, 1 figure; some errors corrected