×
曼弗雷德·库夫莱特纳;亚历山大·劳瑟

大约是一点。 （英语） 兹比尔1308.68071

发现的国际期刊。计算。科学。 第6号第23页，1323-1339页（2012年）.
摘要：点深度层次结构是对无星语言的分类。它与有限词上一阶逻辑的量词交替层次有关。我们考虑点深度为1/2和点深度为1的语言的子类，它们是通过禁止指定前缀或后缀而获得的。事实证明，这些语言类分别与没有最小或最大谓词的无交替一阶逻辑片段一一对应。对于所有片段，我们都获得了有效的代数特征。此外，我们对点深1/2和点深1的隶属度问题的可判定性给出了新的证明。

引用于三文件

MSC公司：

65年第68季度 形式语言和自动机
05年3月 与逻辑问题相关的自动机和形式文法
03B10号机组 经典一阶逻辑
20立方米 自动机理论、语言学等中的半群。

关键词：

有限半群;点深度层次结构;无星语言;量词交替;一阶逻辑
PDF格式BibTeX公司 XML格式引用
\textit{M.Kufleitner}和\textit{A.Lauser}，国际法学杂志发现。计算。科学。23，第6号，1323--1339（2012；Zbl 1308.68071）
全文： DOI程序

参考文献：

[1] 内政部：10.1016/0304-3975（91）90258-4·Zbl 0753.68054号 ·doi:10.1016/0304-3975（91）90258-4
[2] 内政部：10.1016/0022-0000（78）90049-1·Zbl 0368.68074号 ·doi:10.1016/0022-0000（78）90049-1
[3] DOI:10.1016/S0022-0000（71）80003-X·Zbl 0217.29602号 ·doi:10.1016/S0022-0000（71）80003-X
[4] DOI:10.1051/ita:2003017·doi:10.1051/ita:2003017
[5] 内政部：10.1007/s00224-007-9002-0·Zbl 1141.68037号 ·doi:10.1007/s00224-007-9002-0
[6] DOI:10.1016/j.disc.2011.06.013·Zbl 1227.68086号 ·doi:10.1016/j.disc.2011.06.013
[7] Knast R.，RAIRO，信息Théor。第321页第17页–
[8] McNaughton R.，无计数器自动机（1971）
[9] 内政部：10.1007/978-1-4613-2215-3·doi:10.1007/978-1-4613-2215-3
[10] 销J.-E。，俄罗斯数学（Iz.VUZ）39 pp 80–
[11] DOI:10.1016/j.disc.2004.04.027·Zbl 1058.03038号 ·doi:10.1016/j.disc.2004.04.027
[12] DOI:10.1007/BF02679467·Zbl 0872.68119号 ·doi:10.1007/BF02679467
[13] DOI:10.1081/AGB-120016005·Zbl 1017.06008号 ·doi:10.1081/AGB-120016005
[14] DOI:10.1016/S0019-9958（65）90108-7·Zbl 0131.02001号 ·doi:10.1016/S0019-9958（65）90108-7
[15] 内政部：10.1016/0304-3975（90）90047-L·Zbl 0693.68044号 ·doi:10.1016/0304-3975（90）90047-L
[16] 内政部：10.1016/0304-3975（81）90036-0·Zbl 0456.20048号 ·doi:10.1016/0304-3975（81）90036-0
[17] 内政部：10.1016/0022-4049（85）90062-3·Zbl 0561.20042号 ·doi:10.1016/0022-4049（85）90062-3
[18] 内政部：10.1007/978-1-4612-0289-9·doi:10.1007/978-1-4612-0289-9
[19] 内政部：10.1016/0304-3975（81）90057-8·Zbl 0471.20055号 ·doi:10.1016/0304-3975（81）90057-8
[20] Thérien D.，RAIRO，Inf.Thés or公司。第22页，第437页
[21] 内政部：10.1016/0022-0000（82）90016-2·Zbl 0503.68055号 ·doi:10.1016/0022-0000（82）90016-2
[22] DOI:10.1007/978-3-642-5912-6_7·doi:10.1007/978-3-642-5912-6_7
[23] 内政部：10.1016/0022-4049（87）90108-3·Zbl 0627.20031 ·doi:10.1016/0022-4049（87）90108-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。