Janusz A.Brzozowski。;卡里、莉拉;李白;Szykuła，马雷克 重叠程序集的状态复杂性。 （英语） Zbl 1458.68090号 Cámpeanu，Cezar（编辑），自动化的实现和应用。2018年7月30日至8月2日在加拿大PE夏洛特敦举行的CIAA 2018第23届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10977109-120（2018）。 摘要：正则语言（L_m）的状态复杂性是最小确定性有限自动机（DFA）中接受（L_m\）的状态数（m\）。正则语言上保正则二元运算的状态复杂度定义为运算结果的最大状态复杂度，其中两个操作数分别覆盖状态复杂度为\（leq m）和\（leqn）的所有语言。我们发现正则语言上二进制操作重叠汇编的状态复杂度有一个严格的上限。这一操作由Csuhaj-Varjü、Petre和Vaszil引入，以模拟两条线性DNA链自组装成较长DNA链的过程，前提是它们的末端“重叠”。我们证明了语言（L_m）和（L_n）的重叠集合的状态复杂度，其中（m\geq2）和（n\geq1）最多为（2（m-1）3^{n-1}+2^n）。此外，对于（m\geq 2）和（n\geq 3），在大小为（n）的字母表上存在语言（L_m）和（L_n），它们的重叠集合满足上界，而较小的字母表无法满足该界。关于整个系列，请参见[Zbl 1398.68018号]. 引用于4文件 MSC公司： 65年第68季度 形式语言和自动机 92D20型 蛋白质序列，DNA序列 关键词：重叠组件;常规语言;状态复杂性;紧上限 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Brzozowski}等人，Lect。注释计算。科学。10977、109-120（2018年；Zbl 1458.68090） 全文： 内政部 arXiv公司