最复杂的正则右理想语言
摘要：一个右理想是指一个满足L = LA*的字母表A上的语言L。我们证明存在一系列正则右理想语言的流（顺序）（R_n: n ≥ 3），其中R_n具有n个左商并且在以下复杂度度量方面最复杂：左商的状态复杂度，原子（补集和非补集左商的交集）的数量，原子的状态复杂度，句法半群的大小，反转、星号和乘法运算的状态复杂度，以及所有二进制布尔运算的状态复杂度。从这个意义上说，这个右理想的流是一个普遍的证明。
作者：Janusz Brzozowski and Gareth Davies
论文ID：1311.4448
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-11-19