×

关于语言和共密度单体的量词。 (英语) Zbl 1495.68145号

小结:本文致力于对规则设置以外的语言进行拓扑代数识别,因为它们与单词上的逻辑有关。特别地,我们提供了一个与添加一层各种量词相对应的识别器的一般构造,并证明了相应的Reutenauer型定理。我们的主要工具是码密度单子和对偶理论。我们的构造依赖于有限半环和交换半环(S)的自由(S)-半模单子的profinite单子的测量理论特征,这推广了我们早先的观点,即布尔空间上的Vietoris单子是有限幂集函子的码密度单子。

MSC公司:

70年第68季度 语言代数理论与自动机
03B70号 计算机科学中的逻辑
2016年60月 半环
18立方厘米 单子(=标准结构,三元组或三元组),单子代数,单子的同调函子和派生函子
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Adámek,J.、Chen,L.-T.、Milius,S.和Urbat,H.(2016a)。Profinite单子体、Profinite方程和Reiterman定理。预打印可在https://arxiv.org/abs/1111.02147。 ·Zbl 1474.18010号
[2] Adámek,J.、Chen,L.-T.、Milius,S.和Urbat,H.(2016b)。Profinite单子体、Profinite方程和Reiterman定理。收录于:FoSSaCS,计算机科学讲义,第9634卷,Springer,531-547·Zbl 1474.18010号
[3] Adámek,J.、Milius,S.、Myers,R.和Urbat,H.(2015)。一个类别中的各种语言。收录:LICS,IEEE计算机学会,414-425·Zbl 1401.68212号
[4] Almeida,J.和Weil,P.(1998年)。Profinite类别和半直接产品。《纯粹与应用代数杂志》123(1)1-50·Zbl 0891.20037号
[5] 博扬奇克,M.(2015)。单子上可识别的语言。收录于:DLT,《计算机科学讲义》,第9168卷,施普林格出版社,1-13页·Zbl 1434.68307号
[6] Borceux,F.(1994年)。分类代数手册2,类别和结构,数学及其应用百科全书,剑桥,纽约,剑桥大学出版社·Zbl 0843.18001号
[7] Chen,L.-T.和Urbat,H.(2016)。Schützenberger产品属于一类。收录于:DLT,《计算机科学讲义》,第9840卷,施普林格出版社,第89-101页·Zbl 1436.68201号
[8] Engelking,R.(1989)。一般拓扑,第二版。,纯数学西格玛系列,第6卷,柏林,Heldermann出版社·Zbl 0684.54001号
[9] Gehrke,M.、Grigorieff,S.和Pin,J.-E。(2008). 正则语言的对偶和等式理论。收录于:ICALP(2),计算机科学讲义,第5126卷,Springer,246-257·Zbl 1165.68049号
[10] Gehrke,M.、Grigorieff,S.和Pin,J.-E。(2010). 识别的拓扑方法。收录于:ICALP(2),计算机科学讲义,第6199卷,斯普林格,151-162·Zbl 1288.68176号
[11] Gehrke,M.、Petrišan,D.和Reggio,L.(2016)。句法空间的Schützenberger乘积。收录于:ICALP,LIPIcs,第55卷,达格斯图尔-莱布尼茨-泽特鲁姆福尔信息研究所,112:1-112:14·Zbl 1388.68193号
[12] Gehrke,M.、Petrišan,D.和Reggio,L.(2017)。语言和代码单数上的量词。摘自:第32届ACM/IEEE计算机科学逻辑年会,LICS 2017,1-12·Zbl 1458.68124号
[13] Kennison,J.F.和Gildenhuys,D.(1971)。等式完成,模型诱导的三元组和pro-objects。《纯粹与应用代数杂志》1(4)317-346·Zbl 0234.18006号
[14] Kock,A.(1970年)。对称单体闭范畴上的单数。澳大利亚数学学会杂志211-10·Zbl 0196.03403号
[15] Kuratowski,K.(1966年)。拓扑,第一卷。新版,修订和增补。J.Jaworowski译自法语。纽约-伦敦,学术出版社;华沙,巴恩斯特沃威·维达尼奇顿·瑙科维·Zbl 0158.40802号
[16] Leinster,T.(2013)。Codensity和超滤单体。范畴理论与应用28(13)332-370·Zbl 1273.18009号
[17] Mac Lane,S.(1998)。《职业数学家分类》,第二版。,《数学研究生文本》,第5卷,纽约,施普林格出版社·Zbl 0906.18001号
[18] Mcnaughton,R.和Papert,S.(1971)。反自由自动机。马萨诸塞州坎布里奇-隆登,麻省理工学院出版社。麻省理工学院研究专著第65期威廉·亨尼曼(William Henneman)的附录·Zbl 0232.94024号
[19] Michael,E.(1951年)。子集空间上的拓扑。美国数学学会会刊71152-182。
[20] 销,J.-E。和Sakarovitch,J.(1982)。一些保持合理性的操作和转换。摘自:《第六届地理信息系统理论计算机科学会议论文集》,施普林格·弗拉格,277-288·Zbl 0496.68052号
[21] Pippenger,N.(1997)。常规语言和斯通二元性。计算系统理论30(2)121-134·Zbl 0870.68092号
[22] Reggio,L.(2020年)。半环值测度的Codensity、Profinity和代数。《纯粹与应用代数杂志》224(1)181-205·Zbl 1428.18006号
[23] Reutenauer,C.(1979年)。语言多样性和单一性。摘自:《理论计算机科学》(第四届GI会议,亚琛),《计算机科学讲义》,第67卷,纽约柏林,斯普林格,260-265·Zbl 0411.68066号
[24] Sakarovitch,J.(2009)。《自动化原理》,纽约,纽约,美国,剑桥大学出版社·Zbl 1188.68177号
[25] 斯通,M.H.(1936年)。布尔代数的表示理论。美国数学学会学报40(1)37-111·Zbl 0014.34002号
[26] Straubing,H.(1994)。《有限自动机、形式逻辑和电路复杂性,理论计算机科学进展》,马萨诸塞州波士顿市,Birkhäuser Boston,Inc·Zbl 0816.68086号
[27] Straubing,H.和Thérien,D.(2008)。模块化量词。收录于:《逻辑与自动机》,《逻辑与游戏中的文本》,第2卷,阿姆斯特丹大学出版社,613-628·兹比尔1244.03119
[28] Straubing,H.、Thérien,D.和Thomas,W.(1995年)。用广义量词定义的正则语言。信息与计算118(2)289-301·Zbl 0826.68072号
[29] Street,R.(1972年)。单子的形式理论。《纯粹与应用代数杂志》2(2)149-168·Zbl 0241.18003号
[30] Tesson,P.和Thérien,D.(2007年)。逻辑与代数相遇:正则语言的例子。计算机科学中的逻辑方法3(1-4)1-37·Zbl 1128.03029号
[31] Vietoris,L.(1922)。贝雷切·兹韦特·奥德农(Bereiche zweiter Ordnung)。Monatsheft für Mathematik und Physik32(1)258-280·JFM 48.0205.02标准
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。