正则语言的商复杂度
摘要：正则语言上操作的状态复杂性的研究已经被审查，同时提出了一种基于旧方法（正则表达式的导数）的新方法。由于状态复杂性是一种语言的属性，因此适当地用形式语言术语来定义它，即语言的不同商的数量，并将其称为“商复杂性”。考虑了求解语言f(K,L)的商复杂性的问题，其中K和L是正则语言，f是一个正则操作，例如并集或连接。由于商可以通过导数表示，可以通过K和L的商的公式来找到f(K,L)的典型商。为了得到f(K,L)的商的上界，只需计算可能的商的数量，从而避免了自动机构造的需要。这种观点的优势通过许多示例进行了说明。此外，还提出了一些新的一般观察结果，有助于估算正则操作的商复杂性的上界。
作者：Janusz Brzozowski
论文ID：0907.4547
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2009-07-28