正则语言中原子的商复杂度
摘要：有n（左）商的正则语言L的原子是L的未补全或补全的商的非空交集，其中n个商中的每一个都出现在交集的一个术语中。L的商复杂度，即L的状态复杂度，是L的商的数量。我们证明，对于任何具有商复杂度n的语言L，具有r个补全商的L的任何原子的商复杂度，在r等于0或r等于n时有一个上界是2^n-1，否则为1+sum_{k=1}^{r} sum_{h=k+1}^{k+n-r} C_{h}^{n} cdot C_{k}^{h}，其中C_j^i是二项式系数。对于每个n大于等于1，我们展示了一个符合这些上界的语言。
作者：Janusz Brzozowski, Hellis Tamm
论文ID：1201.0295
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-03-09