×
佐尔坦·埃西克;Larsen，Kim G。

由Lindström量词定义的常规语言。 （英语） Zbl 1046.20042号

西奥。通知。申请。 37，第3期，179-241（2003）.
Büchi、Elgot和Trakhtenbrot的工作首次展示了如何使用逻辑的一元二阶公式来描述正则语言的属性。McNaughton和Papert是第一个考虑公式集仅限于一阶的情况的人。他们证明了以这种方式定义的语言正是无星语言，即那些可以被不包含非平凡群的有限幺半群或那些句法幺半群是非周期的语言识别的语言。
由于一阶量化的表达能力有限，Straubing、Thérien和Thomas引入了“模块量词”。如果一阶量词和模量词都允许，那么我们得到了由只包含可解群的有限幺半群所识别的语言类。如果只允许模量词，那么我们得到了语法幺半群是有限可解群的语言类。Barrington、Immerman和Straubing的工作考虑了其他量词，以表达具有不可解句法幺半群的正则语言。
上述量词是所谓林德斯特伦量词的特例。本文通过显示“正则Lindström量词”与有限幺半群的双半直积或块积的一个版本以及一组可分辨的生成元之间的对应关系，刻画了“正则Lin德斯特伦量词”的表达能力。
审核人：弗朗西娜·布兰切特·萨德里（格林斯博罗）

引用于1审查
引用于4文件

MSC公司：

20立方米 自动机理论、语言学等中的半群。
65年第68季度 形式语言和自动机
60年第68季度 规范和验证（程序逻辑、模型检查等）
70年第68季度 语言代数理论与自动机
03C07号机组 一阶语言和结构的基本性质

关键词：

常规语言;逻辑;林德斯特伦量词;表达能力;半直积
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Ésik｝和\textit｛K.G.Larsen｝，Theor。通知。申请。37，第3号，179--241（2003；Zbl 1046.20042）
全文： Numdam编号 欧洲DML

参考文献：

[1] M.A.Arbib（编辑），机器、语言和半群的代数理论。由K.Krohn和J.L.Rhodes主要贡献，学术出版社（1968年）。MR 232875 | Zbl 0181.01501·Zbl 0181.01501号
[2] D.A.M.Barrington、K.Compton、H.Straubing和D.Therien，《NC中的正则语言》（^1）。J.计算。系统科学。44（1992）478-499。Zbl 0757.68057号·Zbl 0757.68057号 ·doi:10.1016/0022-0000（92）90014-A
[3] D.Barrington、N.Immerman和H.Straubing：关于（{mathit NC}^1）内的一致性。J.计算。系统科学。41 ( 1990 ) 274 - 306 . Zbl 0719.68023号·Zbl 0719.68023号 ·doi:10.1016/0022-0000（90）90022-D
[4] A.Baziramwabo、P.McKenzie和D.Therien，《模块时序逻辑》，摘自：第14届IEEE计算机科学逻辑年会，特伦托（1999）。IEEE计算机学会，344-351。
[5] D.Beauquier和A.Rabinovitch，自然秩序的一元逻辑没有有限的基础。逻辑与计算。（出现）。MR 1900379 | Zbl 1056.03007·Zbl 1056.03007号 ·doi:10.1093/log.com/12.2.243
[6] Büchi，弱二阶逻辑与有限自动机。宙特。数学。Logik Grund公司。数学。6 ( 1960 ) 66 - 92 . Zbl 0103.24705号·Zbl 0103.24705号 ·doi:10.1002/malq.19600060105
[7] H.-J.Burtschick和H.Vollmer，Lindström量词和叶语言可定义性。发现的国际期刊。计算。科学。9 ( 1998 ) 277 - 294 . ·Zbl 1319.68104号
[8] J.Cohen、D.Perrin和J.-E.Pin，《论时间逻辑的表达能力》。J.计算。系统科学。46 ( 1993 ) 271 - 294 . Zbl 0784.03014号·Zbl 0784.03014号 ·doi:10.1016/0022-0000（93）90005-H
[9] P.Dömösi和Z.Ésik，\（\alpha_0\）-乘积的临界类。理论。计算。科学。61 ( 1988 ) 17 - 24 . Zbl 0693.68033号·Zbl 0693.68033号 ·doi:10.1016/0304-3975（88）90104-1
[10] H.-J.Ebbinghaus和J.Flum，有限模型理论。第二版，Springer（1999）。MR 1716820 | Zbl 0932.03032·Zbl 0932.03032号
[11] S.Eilenberg，自动机，语言和机器。A、B卷，学术出版社（1974、1976）。MR 530382 | Zbl 0317.94045·Zbl 0317.94045号
[12] C.Elgot，有限自动机设计的决策问题和相关算法。变速器。阿默尔。数学。《社会分类》98（1961）21-51。Zbl 0111.01102号·Zbl 0111.01102号 ·doi:10.2307/1993511
[13] Z.ésik，关于自动机通过（α_0）乘积同态实现的结果。理论。计算。科学。87 ( 1991 ) 229 - 249 . Zbl 0744.68104号·Zbl 0744.68104号 ·doi:10.1016/0304-3975（91）90325-V
[14] Z.Esik和M.Ito，带循环计数的时序逻辑和有限自动机的非周期度。《网络学报》。16 ( 2003 ) 1 - 28 . Zbl 1027.68074号·Zbl 1027.68074号
[15] M.Galota和H.Vollmer，《Büchi-Elgot-Trakhtenbrot定理的推广》，载于：《计算机科学逻辑》，第15届国际研讨会，CSL（2001年），巴黎（2001），LNCS 2142，Springer，355-368。Zbl 0999.03033号·Zbl 0999.03033号
[16] N.Immerman，描述性复杂性。《计算机科学研究生文本》，纽约斯普林格·弗拉格出版社（1999年）。MR 1732784 | Zbl 0918.68031·Zbl 0918.68031号
[17] K.Krohn和J.Rhodes，机器代数理论。有限半群和机器的素分解定理。变速器。阿默尔。数学。Soc.116（1965）450-464。Zbl 0148.01002号·Zbl 0148.01002号 ·doi:10.2307/1994127
[18] C.Lautemann，P.McKenzie和Th.Schwentick，LOGCFL的描述性复杂性方法。J.计算。系统科学。62 ( 2001 ) 629 - 652 . Zbl 0983.68108号·Zbl 0983.68108号 ·doi:10.1006/jcss.2000.1742
[19] P.Lindström，带广义量词的一阶谓词逻辑。《理论》32（1966）186-195·Zbl 1230.03072号
[20] P.McKenzie，Th.Schwentick，D.Therien和H.Vollmer，《翻译的多面性》，载：自动机，语言与程序设计，第27届国际学术讨论会，ICALP’00，LNCS 1853，890-901。Zbl 0973.68155号·Zbl 0973.68155号
[21] W.D.Maurer和J.L.Rhodes，有限单非交换群的一个性质，Proc。阿默尔。数学。Soc.16（1965）552-554。Zbl 0132.26903号·Zbl 0132.26903号 ·doi:10.2307/2034697
[22] R.McNaughton和S.Papert，Counter-Free Automata。麻省理工学院出版社（1971）。MR 371538 | Zbl 0232.94024·Zbl 0232.94024号
[23] T.Peichl和H.Vollmer，《具有广义验收标准的有限自动机》，收录于：自动机，语言与编程，第26届国际学术讨论会，ICALP’99，布拉格，LNCS 1644，Springer，605-614。Zbl 0943.68119号·Zbl 0943.68119号
[24] J.-E.Pin，形式语言的多样性。Plenum（1986）。MR 912694 | Zbl 0632.68069·Zbl 0632.68069号
[25] J.-E.Pin，《逻辑，半群和单词自动机》，《数学年鉴》。Artif公司。智力。16 ( 1996 ) 343 - 384 . Zbl 0860.68071号·Zbl 0860.68071号 ·doi:10.1007/BF02127803
[26] A.Pnueli，程序的时序逻辑，收录于：IEEE第18交响曲。计算机科学基础，普罗维登斯（1977）46-57。
[27] 罗兹，不可判定性，自动机，有限半群的伪变量，国际代数与计算。9 ( 1999 ) 455 - 473 . Zbl 1027.20038号·Zbl 1027.20038号 ·doi:10.1142/S0218196799000278
[28] J.Rhodes和B.Tilson，单拟态射的核，J.Pure Appl。《代数》62（1989）227-268。Zbl 0698.20056号·Zbl 0698.20056号 ·doi:10.1016/0022-4049（89）90137-0
[29] M.P.Schützenberger，关于只有平凡子群的有限幺半群。《信息与控制》8（1965）190-194。Zbl 0131.02001号·兹伯利0131.02001 ·doi:10.1016/S0019-9958（65）90108-7
[30] H.Straubing，与有限幺半群的某些变种相对应的可识别集合族。J.纯应用。《代数》15（1979）305-318。Zbl 0414.20056号·Zbl 0414.20056号 ·doi:10.1016/0022-4049（79）90024-0
[31] H.Straubing，有限自动机，形式逻辑和电路复杂性。Birkhauser（1994）。MR 1269544 | Zbl 0816.68086·Zbl 0816.68086号
[32] H.Straubing，《正则语言的逻辑描述》，载于：LATIN 2002，LNCS 2286，Springer（2002）528-538。Zbl 1059.03034号·Zbl 1059.03034号
[33] H.Straubing和D.Therien，用有限数量的变量定义的正则语言，收录于：STACS 2001，LNCS 2010，Springer（2001）555-562·Zbl 0976.68092号
[34] H.Straubing、D.Therien和W.Thomas，用广义量词定义的正则语言，自动机，语言和编程（Tampere，1988），《计算机课堂笔记》。科学。317，Springer，Berlin（1988）561-575。Zbl 0658.68098号·Zbl 0658.68098号
[35] H.Straubing、D.Therien和W.Thomas，用广义量词定义的正则语言。信息和计算。118 ( 1995 ) 289 - 301 . Zbl 0826.68072号·Zbl 0826.68072号 ·文件编号：10.1006/inco.1995.1067
[36] D.Therien，有限幺半群的分类：语言方法。理论。计算。科学。14 ( 1981 ) 195 - 208 . Zbl 0471.20055号·Zbl 0471.20055号 ·doi:10.1016/0304-3975（81）90057-8
[37] D.Therien和Th.Wilke，《时间逻辑和半直接积：直到层次的有效表征》，载于：第37届计算机科学基础年度研讨会，1996年，伯灵顿。IEEE计算机学会（1996）256-263。
[38] W.托马斯，无限物体上的自动机，收录于《理论计算机科学手册》。第B卷，爱思唯尔，阿姆斯特丹（1990）133-191。Zbl 0900.68316号·Zbl 0900.68316号
[39] 托马斯，语言，自动机和逻辑，收录于：形式语言手册。第3卷，施普林格（1997）389-455。
[40] B.A.Trakhtenbrot，有限自动机和一元谓词逻辑，Dokl。阿卡德。诺克SSSR 140（1961）326-329。Zbl 0115.00702号·Zbl 0115.00702号
[41] J.Väänänen（编辑），《广义量词和计算》，LNCS 1754，Springer（1997）。MR 1773122·Zbl 0880.68061号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。