R-和J-平凡正则语言的逆的状态复杂度
摘要：R-平凡正则语言的逆和J-平凡正则语言在状态复杂度为n的紧密上界为2^{n-1}。R-平凡正则语言的证明是三元的，而J-平凡正则语言的证明是(n-1)-元的。在本文中，我们证明了这个上界既不能被二进制的R-平凡正则语言满足，也不能被(n-2)元字母表上的J-平凡正则语言满足。我们提供了R-平凡正则语言的紧密上界的表征，这取决于语言的状态复杂度和字母表的大小。我们展示了(n-2)元字母表上J-平凡正则语言的紧密上界以及一些二进制J-平凡正则语言的紧密上界。对于(n-k)元字母表上的J-平凡正则语言，其中2 <= k <= n-3，仍然未知。
作者：Galina Jir''askov''a, Tom''av{s} Masopust
论文ID：1304.0733
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-06-11