海宁·博迪恩;马库斯·霍尔泽 关于确定性和非确定性有限自动机中的活动状态数。 （英语） Zbl 1489.68121号 Carayol，Arnaud（编辑）等人，《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10329, 40-51 (2017). 摘要：我们在有限自动机上引入了一种新的描述复杂性度量方法，称为活动状态数。粗略地说，自动机（A）在输入（w）上的活动状态数统计了在对单词（w）进行自动机（A\）最经济的计算期间访问的不同状态数。这个概念以一种简单的方式推广到有限自动机和正则语言。我们证明了有限自动机和正则语言的活动状态数是可计算的，即使是对于非确定性有限自动机也是如此。我们进一步将活动状态的数量与常规语言的相关度量进行了比较。特别地，我们证明了正则语言半径的不可比性，并且正则语言的活动状态数与有限自动机所需状态总数之间的差异可以是指数级的。关于整个系列，请参见[Zbl 1365.68007号]. MSC公司： 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}和\textit{M.Holzer}，莱克特。票据计算。科学。10329，40-51（2017；Zbl 1489.68121） 全文： 内政部 参考文献： [1] Birget，J.-C.：正则语言和状态复杂性的交集和联合。通知。过程。莱特。43, 185–190 (1992) ·Zbl 0763.68048号 ·doi:10.1016/0020-0190（92）90198-5 [2] Bordihn，H.，Holzer，M.：关于L和CD语法系统中活动符号的数量。J.汽车。语言梳。6(4), 411–426 (2001) ·Zbl 0997.68066号 [3] Burch，J.R.，Clarke，E.M.，McMillan，K.L.：符号模型检查：\[10^{20}\]国家和其他地区。通知。计算。98(2), 142–170 (1992) ·Zbl 0753.68066号 ·doi:10.1016/0890-5401（92）90017-A [4] Ellul，K.：正则语言的描述复杂性度量。加拿大安大略省滑铁卢大学计算机科学硕士论文（2002年） [5] Gill，A.，Kou，L.T.：多入口有限自动机。J.计算。系统科学。9，1–19（1974年）·Zbl 0285.94030号 ·doi:10.1016/S0022-0000（74）80034-6 [6] Kleijn，H.C.M.，Rozenberg，G.：并行重写系统研究。通知。控制44，134–163（1980）·Zbl 0436.68051号 ·doi:10.1016/S0019-9958（80）90066-2 [7] Lockefeer，L.：通过窗口缩放选项扩展的TCP的正式规范和验证。荷兰阿姆斯特丹Vrije大学硕士论文（2013） [8] Wood，D.：计算理论。威利（1987） [9] Yokomori，T.，Wood，D.，Lange，K.-J.：ET0L语言的三限制范式定理。通知。过程。莱特。14（3）、97–100（1982）和21（1）、53（1985）·Zbl 0483.68068号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。