正则语言的布尔电路复杂度
摘要：确定性有限自动机的一种新描述复杂度度量——BC复杂度：与状态复杂度相比的一种替代方案。证明了在状态数相同的情况下，两个确定性有限自动机的BC复杂度可以呈指数级差异。在某些情况下，最小化确定性有限自动机可能导致BC复杂度呈指数级增加；另一方面，通过一些标准构造方法（如确定化非确定有限自动机、语言操作）获得的大状态空间的确定性有限自动机的BC复杂度一般较小。但我们的主要结果是有限自动机的“香农效应”的类比：几乎所有状态数固定的确定性有限自动机的BC复杂度接近最大值。
作者：Maris Valdats
论文ID：1405.5611
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-05-23