×
萨沙·鲁宾

自动机表示结构：有限字符串情况的调查。 （英语） Zbl 1146.03028号

牛市。符号。日志。 第2期第14期，169-209页（2008年）.
这是对45篇关于自动机呈现结构的有限字符串案例的文章的调查。这篇综述是在概念和基本定理领域撰写的，由J.R.Büchi和M.O.Rabin证明，关于有限自动机在字符串（Büch）和树（Rabin）上对有限字母表上字符串集和树集的可识别性，以及关于这些集在一元二阶逻辑（ML2）中的可定义性在自然数集上（Büchi），在ML2中在单词集上（Rabin）。
在调查中，给出、提到、指出并证明、描述、提供了：1）正则有限字符串关系及其自动表示；2） （有限字符串关系的）自动表示结构及其一阶理论；3） 可判定性结果、自然操作下的闭合以及自动呈现结构的一阶逻辑特征；4） 基本可判定性结果，由“存在无穷多”和“存在（k）模（m）多”类型的某些附加量词扩展；5） 证明给定结构没有自动表示的一些通用方法；6） 自动表示结构的同构问题的复杂性；7） 对于某些类，存在一元字母表上字符串集的有限自动概念的完整分类；8） 序代数和布尔代数类在非一元情况下的完全分类；9） 三个悬而未决的问题。
审核人：亚历克斯·纳贝宾（莫斯科）

引用于36文件

MSC公司：

05年3月 与逻辑问题相关的自动机和形式文法
03B25号 理论和句子集的可决定性
03D45号 计算理论，有效呈现结构

关键词：

一阶逻辑;一元二阶逻辑;逻辑结构;可数多谓词的一阶逻辑;有限自动机;有限字母表上的字符串和树;有限自动机的可识别性和逻辑公式的可定义性;有限自动机和逻辑结构的可判定性问题;可定义性与可识别性的关系
PDF格式BibTeX公司 XML格式引用
\textit{S.鲁宾}，公牛。符号。日志。14，编号2169-209（2008；兹bl 1146.03028）
全文： DOI程序

参考文献：

[1] 理论32第186页–（1966）
[2] LPAR 2003 2850第344页–（2003）
[3] 转喻和上下文无关语言38（1979）·Zbl 0424.68040号
[4] 内政部：10.1147/rd.176.0525·Zbl 0267.68024号 ·doi:10.1147/rd.176.0525
[5] LICS 2001年第431页–（2001年）
[6] LPAR 2850第332页–（2003年）
[7] LICS 2002第203页–（2002）
[8] 内政部：10.1145/1094622.1094625·兹比尔1367.03070 ·doi:10.1145/1094622.1094625
[9] STACS 2008 08001（2008）
[10] STACS 2996第440页–（2004年）
[11] 计算机科学中的逻辑方法3（2007）
[12] 内政部：10.1007/11672142_23·Zbl 1136.68413号 ·doi:10.1007/11672142_23
[13] 结构自动显示960（1995）
[14] 有效代数方面（clayton，1979）第26页–（1981）
[15] 无限群的几何和计算观点（明尼阿波利斯，明尼苏达州和新泽西州新不伦瑞克，1994）25，第69页–（1996）
[16] 魁北克数学科学年鉴7第39页–（1983）
[17] 内政部：10.1016/0304-3975（82）90042-1·Zbl 0493.0302号 ·doi:10.1016/0304-3975（82）90042-1
[18] 内政部：10.1016/0168-0072（89）90070-5·Zbl 0683.03020号 ·doi:10.1016/0168-0072（89）90070-5
[19] DOI:10.1023/A:1021758312697·doi:10.1023/A:1021758312697
[20] 内政部：10.1090/S0002-9947-1961-0139530-9·doi:10.1090/S0002-9947-1961-0139530-9
[21] DOI:10.1016/0021-8693（69）90107-0·Zbl 0207.02002号 ·doi:10.1016/0021-8693（69）90107-0
[22] 内政部：10.1016/0304-3975（92）90256-F·Zbl 0773.03008号 ·doi:10.1016/0304-3975（92）90256-F
[23] DOI:10.1016/S0022-0000（70）80041-1·Zbl 0212.02901号 ·doi:10.1016/S0022-0000（70）80041-1
[24] 《西伯利亚数学杂志》3第103页–（1962）
[25] DOI:10.1016/j.crma.2004.03.035·Zbl 1077.68071号 ·doi:10.1016/j.crma.2004.03.035
[26] 计算机科学理论手册B pp 133–（1990）
[27] 内政部：10.1007/BF01691346·doi:10.1007/BF01691346
[28] MFCS’92 629第494页–（1992年）
[29] 随机图无法自动显示（2002）
[30] DOI:10.1016/S0049-237X（98）80011-6·doi:10.1016/S0049-237X（98）80011-6
[31] 线性排序（1982）·Zbl 0488.04002号
[32] 分组文字处理（1992年）
[33] Geometriae Dedicata（历史档案）16第123页–（1984）
[34] 美国数学学会学报141第1页–（1969）
[35] 逻辑、方法论和科学哲学第1页-（1962年）
[36] STACS 2005 3404（2005）
[37] DOI:10.1002/malq.19600060105·Zbl 0103.24705号 ·doi:10.1002/malq.19600060105
[38] FA-呈递群和环（2005）
[39] 比利时数学学会公报。Simon Stevin 1第191页–（1994）
[40] 内政部：10.1007/s00224-004-1133-y·Zbl 1061.03038号 ·doi:10.1007/s00224-004-1133-y
[41] Trudy Moskovskogo Ordena LeninaÈnergeticheskogo研究所292 pp 7–（1976）
[42] 第二届自动扣除复杂性国际研讨会论文集，CiAD 2002（2002）
[43] LICS 2000第51页–（2000）
[44] 科学研究院。Série I.Mathématique 303第939页–（1986）
[45] STACS 2285第596页–（2002年）
[46] LICS 2003第178页–（2003）·兹比尔1365.00062
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。