安德烈·赫尔曼;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 有界正则语言的描述复杂性。 （英语） Zbl 1476.68130号 Cámpeanu，Cezar（编辑）等人，《形式系统的描述复杂性》。2016年7月5日至8日，罗马尼亚布加勒斯特，2016年DCFS，第18届IFIP工作组1.2国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9777, 138-152 (2016). 摘要：我们研究了（强）有界正则语言的子语言类的描述复杂性。在第一部分中，我们研究了确定接受强有界正则语言的非确定性有限自动机的代价。费用的上限大于确定一元正则语言的费用，但低于确定任意正则语言的成本。在第二部分中，我们研究了（强）有界语言布尔运算的确定性操作状态复杂度以及操作反转、级联和迭代。详细地说，我们给出了上界和下界，并开发了一种工具来证明下界，该工具利用了在接受有界语言的确定性有限自动机中出现的不同颜色的循环的数量。关于整个系列，请参见[Zbl 1342.68009号]. 引用于1文件 MSC公司： 第68季度第45季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{A.Herrmann}等人，Lect。注释计算。科学。9777，138--152（2016；Zbl 1476.68130） 全文： 内政部 哈尔 参考文献： [1] Birget，J.C.：正则语言和状态复杂性的交集和联合。通知。过程。莱特。43, 185–190 (1992) ·Zbl 0763.68048号 ·doi:10.1016/0020-0190（92）90198-5 [2] Bordihn，H.，Holzer，M.，Kutrib，M.：确定接受子语言的有限自动机。西奥。计算。科学。410(35), 3209–3222 (2009) ·Zbl 1173.68030号 ·doi:10.1016/j.tcs.2009.05.019 [3] Chrobak，M.：有限自动机和一元语言。理论。计算。科学。47(2), 149–158 (1986) ·兹伯利0638.68096 ·doi:10.1016/0304-3975（86）90142-8 [4] Chrobak，M.：“有限自动机和一元语言”的勘误表。理论。计算。科学。302, 497–498 (2003) ·doi:10.1016/S0304-3975（03）00136-1 [5] M.J.埃里克森：组合数学导论。威利，纽约（1996）·Zbl 0878.05001号 ·doi:10.1002/9781118032640 [6] Gao，Y.，Moreira，N.，Reis，R.，Yu，S.：操作状态复杂性调查。CoRR abs/1509.03254（2015）。http://arxiv.org/abs/1509.03254 ·Zbl 1380.68253号 [7] Ginsburg，S.，Spanier，E.H.：有界正则集。程序。阿默尔。数学。Soc.17（5），1043–1049（1966年）·Zbl 0147.25301号 ·doi:10.1090/S0002-9939-1966-0201310-3 [8] Ginsburg，S.：上下文无关语言的数学理论。纽约麦格劳希尔出版社（1966年）·Zbl 0184.28401号 [9] Glaister，I.，Shallit，J.：非确定性有限自动机大小的下限技术。通知。过程。莱特。59, 75–77 (1996) ·Zbl 0900.68313号 ·doi:10.1016/0020-0190（96）00095-6 [10] 霍普克罗夫特，J.E.，乌尔曼，J.D.：自动机理论、语言和计算导论。Addison-Wesley，雷丁（1979）·Zbl 0426.68001号 [11] Ibarra，O.H.：反转有界多计数器机器及其决策问题。J.ACM 25（1），116–133（1978）·Zbl 0365.68059号 ·数字对象标识代码：10.1145/322047.322058 [12] Ibarra，O.H.，Ravikumar，B.：关于有界语言和可逆有界自动机。Inf.计算。246, 30–42 (2016) ·Zbl 1333.68168号 ·doi:10.1016/j.ic.2015.11.007 [13] Ibarra，O.H.，Seki，S.：用单向和双向确定性机器刻画有界半线性语言。发现的国际期刊。计算。科学。23(6), 1291–1306 (2012) ·Zbl 1272.68210号 ·doi:10.1142/S0129054112400539 [14] Leis，E.L.：布尔自动机对正则语言的简洁表示。理论。计算。科学。13, 323–330 (1981) ·Zbl 0458.68017号 ·doi:10.1016/S0304-3975（81）80005-9 [15] Malcher，A.，Pighizini，G.：有界上下文无关语言的描述复杂性。Inf.计算。227, 1–20 (2013) ·Zbl 1358.68173号 ·doi:10.1016/j.ic.2013.03.008 [16] Meyer，A.R.，Fischer，M.J.：自动机、语法和形式系统的描述经济。摘自：SWAT 1971，第188-191页。IEEE（1971）·doi:10.1109/SWAT.1971.11 [17] Pighizini，G.，Shallit，J.：一元语言操作，状态复杂性和Jacobsthal函数。发现的国际期刊。计算。科学。13145-159（2002年）·Zbl 1066.68072号 ·doi:10.1142/S012905410200100X [18] Salomaa，K.，Yu，S.：任意字母上有限语言的NFA到DFA转换。J.汽车。语言梳。2, 177–186 (1997) ·Zbl 0897.68060号 [19] Valiant，L.G.：确定性下推自动机的正则性和相关问题。J.ACM 22，1-10（1975年）·兹比尔0293.68046 ·doi:10.1145/321864.321865 [20] Yu，S.：正规语言的状态复杂性。J.汽车。语言梳。6221-234（2001年）·Zbl 0978.68087号 [21] Yu，S.，Zhuang，Q.，Salomaa，K.：正则语言上一些基本操作的状态复杂性。理论。计算。科学。125(2), 315–328 (1994) ·Zbl 0795.68112号 ·doi:10.1016/0304-3975（92）00011-F 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。