×
费比安·伯克曼;斯特凡·米利厄斯;海宁·乌尔巴特

不带布尔运算的语言变体。 （英语） Zbl 07405973号

Leporati，Alberto（编辑）等人，《语言和自动机理论与应用》。2021年3月1日至5日，第15届国际会议，LATA 2021，意大利米兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 3-15 (2021).
摘要：艾伦伯格的多样性定理通过在正则语言的性质和识别正则语言的有限幺半群的性质之间建立形式上的对应关系，标志着正则语言代数理论的一个里程碑。受量子有限自动机所接受的语言类的启发，我们引入正规语言的基本变体弱化了Eilenberg的原始概念，即在任何布尔运算下都不需要闭包，并证明了它们的一个变分定理。为此，我们通过以下方法研究语言的代数识别晶格双模推广了kíma和Polák的格代数，并利用了代数完全分配格和偏序集之间的对偶性。
有关整个系列，请参见[Zbl 1470.68022号].

引用于1文件

MSC公司：

65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
\textit{F.Birkmann}等人，Lect。注释计算。科学。12638，3-15（2021；Zbl 07405973）
全文： 内政部 arXiv公司

参考文献：

[1] Adámek，J.，Milius，S.，Myers，R.，Urbat，H.：广义艾伦伯格定理：一个范畴中的各种语言。ACM事务处理。计算。日志。20(1), 3:1-3:47 (2019) ·Zbl 1407.68315号
[2] Ambainis，A.，Yakaryólmaz，A.：自动化和量子计算（2018）。https://arxiv.org/abs/1507.01988 ·Zbl 1237.68082号
[3] Ambainis A.、Beaudry M.、Golovkins M.、Kikusts A.、Mercer M.、Thérien D.：量子自动机的代数结果。摘自：Diekert，V.，Habib，M.（编辑）STACS 2004。LNCS，第2996卷，第93-104页。斯普林格，海德堡（2004）。doi:10.1007/978-3-540-24749-49·Zbl 1122.68079号
[4] Ambainis1，A.，Ķikusts，A.，Valdats，M.：关于单向量子有限自动机可识别的语言类。作者：Ferreira，A.Reichel，H.（编辑）STACS 2001。LNCS，第2010卷，第75-86页。斯普林格，海德堡（2001）。doi:10.1007/3-540-44693-17·兹比尔0976.68087
[5] 博扬奇克，M。；Potapov，I.，《单子上的可识别语言》，语言理论发展，1-13（2015），查姆：斯普林格，查姆·Zbl 1434.68307号 ·doi:10.1007/978-3-319-21500-6_1
[6] 布罗茨基，A。；Pippenger，N.，单向量子有限自动机的特征，SIAM J.Compute。，31, 73-91 (1999) ·Zbl 1051.68062号
[7] 陈，L-T；Adámek，J。；米利厄斯，S。；Urbat，H。；雅各布斯，B。；Löding，C.，Profinite monad，Profinite方程和Reiterman定理，《软件科学和计算结构基础》，531-547（2016），海德堡：斯普林格·Zbl 1474.18010号 ·doi:10.1007/978-3-662-49630-5_31
[8] Davey，B.A.，Priestley，H.A.：《格与秩序导论》，第2版。剑桥大学出版社，剑桥（2002）·Zbl 1002.06001号
[9] 艾伦伯格，S.：自动化、语言和机器。剑桥大学学术出版社（1974）·Zbl 0317.94045号
[10] Gehrke，M。；格里戈里夫，S。；销，Jé；丙酮，L。；达姆加德，I。；洛杉矶Goldberg；Halldórsson，MM；Ingólfsdóttir，A。；Walukiewicz，I.，正则语言的对偶性和方程理论，自动机，语言和编程，246-257（2008），海德堡：斯普林格·Zbl 1165.68049号 ·doi:10.1007/978-3-540-70583-3_21
[11] Golovkins，M。；销，J-E；陈，DZ；Lee，DT，可逆有限自动机某些模型生成的多样性，计算与组合数学，83-93（2006），海德堡：施普林格·Zbl 1162.68480号 ·doi:10.1007/11809678_11
[12] 俄亥俄州克里马。；Polák，L.，正则语言的句法结构，Theoret。计算。科学。，800, 125-141 (2019) ·兹比尔1436.68177 ·文件编号：10.1016/j.tcs.2019.10.020
[13] Kondacs，A.，Watrous，J.：关于量子有限状态自动机的威力。载于：FOCS会议记录，第66-75页。IEEE（1997年）
[14] Markowsky，G.，自由完全分配格，Proc。阿默尔。数学。《社会学杂志》，74227-228（1979）·Zbl 0377.06005号 ·doi:10.1090/S0002-9939-1979-0524290-9
[15] 米利厄斯，S。；Urbat，H。；博扬奇克，M。；Simpson，A.，带结构代数的等式公理化，软件科学和计算结构基础，400-417（2019），Cham:Springer，Cham·Zbl 1524.08003号 ·doi:10.1007/978-3-030-17127-8_23
[16] Pin，JE，无补的变分定理，俄罗斯数学。，39, 80-90 (1995)
[17] 波拉克，L。；斯加尔，J。；Pultr，A。；Kolman，P.，《语言的句法半环》，《计算机科学的数学基础》2001，611-620（2001），海德堡：斯普林格·Zbl 1005.68526号 ·doi:10.1007/3-540-44683-4_53
[18] Reiterman，J.，有限代数的Birkhoff定理，代数普遍性，14，1，1-10（1982）·Zbl 0484.08007号 ·doi:10.1007/BF02483902
[19] Salamanca，J.：揭示Eilenberg型对应：（有限）代数的Birkhoff定理+对偶（2017）。https://arxiv.org/abs/1702.02822
[20] Schützenberger，MP，关于只有平凡子群的有限幺半群，Inform。控制，8，2，190-194（1965）·Zbl 0131.02001号 ·doi:10.1016/S0019-9958（65）90108-7
[21] Urbat，H.，Adámek，J.，Chen，L.T.，Milius，S.：免费的艾伦伯格定理。摘自：MFCS会议记录。LIPIcs，第83卷，第43:1-43:14页（2017年）·Zbl 1441.68139号
[22] Wilke，T.：无限语言的Eilenberg定理。摘自：ICALP会议记录。LNCS，第510卷，第588-599页。施普林格，海德堡（1991）·Zbl 0766.68083号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。