有限自动机的描述复杂度--选定亮点
摘要：正规语言$L$的状态复杂度分别是最小确定有限自动机的状态数、最小非确定有限自动机的状态数。一些最常研究的状态复杂度问题涉及具有不同模糊度的非确定有限自动机的大小比较。更一般地，如果我们比较正规语言的有限自动机描述的大小和更强大的语言定义机制（如上下文无关文法）的大小，我们会遇到非递归的权衡。操作状态复杂度研究在保持正则性的操作结果的语言的状态复杂度与参数语言的复杂度之间的关系。确定组合操作的状态复杂度通常具有挑战性，而包括交集和标记连接等一般组合操作的状态复杂度是不可计算的。
作者：Arto Salomaa and Kai Salomaa and Taylor J. Smith
论文ID：2301.03708
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-30