×
Han、Yo-Sub;金圣明;Ko、Sang-Ki;凯·萨洛马

交替有限自动机的存在性和普适宽度。 （英语） Zbl 07729457号

Bordihn，Henning（编辑）等，形式系统的描述复杂性。第25届IFIP工作组1.02国际会议，DCFS 2023，波茨坦，德国，2023年7月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13918, 51-64 (2023).
概要：字符串（w）上交替有限自动机（AFA）的存在宽度大致上是（A）在使用最小不确定性的接受计算中使用的不确定性选择数。字符串\（w\）上\（A\）的通用宽度是\（w\）上\（A\）的可接受计算所使用的并行分支的最小数量。如果（A\）的存在宽度或通用宽度对所有接受的字符串都有界，则称其为有限宽度。我们证明了AFA存在宽度和普适宽度的有限性是可判定的。我们还给出了硬结果，并给出了判定AFA的存在宽度或泛宽度是否有界于给定整数的算法。
关于整个系列，请参见[Zbl 1517.68005号].

引用于1文件

MSC公司：

68季度xx 计算理论

关键词：

交替有限自动机;普遍的和存在的选择;不确定性测度;空间复杂性;可判定性
PDF格式BibTeX公司 XML格式引用
\textit{Y.-S.Han}等人，Lect。注释计算。科学。13918，51--64（2023；Zbl 07729457）
全文： 内政部

参考文献：

[1] 阿拉斯加州钱德拉；Kozen，DC；LJ Stockmeyer，Alternation，J.ACM，28，1，114-133（1981）·Zbl 0473.68043号 ·数字对象标识代码：10.1145/322234.32243
[2] Fellah，A。；Jürgensen，H。；Yu，S.，交替有限自动机的构造，国际计算机杂志。数学。，35, 117-132 (1990) ·Zbl 0699.68081号 ·doi:10.1080/00207169008803893
[3] Geffert，V.，有限自动机的交替层次结构，Theor。计算。科学。，445, 1-24 (2012) ·兹比尔1255.68095 ·doi:10.1016/j.tcs.2012.04.044
[4] Goldstine，J。；卡佩斯，M。；金塔拉，CMR；Leung，H。；Malcher，A。；Wotschke，D.，《资源有限的机器的描述复杂性》，J.Univ.Comput。科学。，8, 2, 193-234 (2002) ·Zbl 1258.68058号
[5] 戈尔茨廷，J。；金塔拉，CMR；Wotschke，D.，《关于正则语言中不确定性的度量》，Inf.Comput。，86, 2, 179-194 (1990) ·Zbl 0698.68068号 ·doi:10.1016/0890-5401（90）90053-K
[6] 韩，YS；韩国，斯洛伐克；Salomaa，K.，决定非确定性（和输入驱动）下推自动机的路径大小，Theor。计算。科学。，939, 170-181 (2023) ·兹伯利07619402 ·doi:10.1016/j.tcs.2022.10.023
[7] 韩，YS；Salomaa，A。；Salomaa，K.，有限自动机的模糊性、不确定性和状态复杂性，《控制论学报》，23，141-157（2017）·Zbl 1389.68044号 ·doi:10.14232/actacycB.23.1.2017.9
[8] Hashiguchi，K.，带距离函数的有限自动机的极限定理，J.Compute。系统。科学。，24, 223-244 (1982) ·Zbl 0513.68051号 ·doi:10.1016/0022-0000（82）90051-4
[9] 霍尔泽，M。；Kutrib，M.，《有限自动机的描述和计算复杂性：一项调查》，Inf.Comput。，209, 3, 456-470 (2011) ·Zbl 1217.68130号 ·doi:10.1016/j.ic.2010.11.013
[10] 霍姆科维奇，J.，《论自动机理论中交替的力量》，J.Compute。系统。科学。，31, 28-39 (1985) ·Zbl 0582.68018号 ·doi:10.1016/0022-0000（85）90063-7
[11] Hromkovič，J。；Schnitger，G.，歧义与沟通，理论计算。系统。，48, 517-534 (2011) ·Zbl 1246.68146号 ·doi:10.1007/s00224-010-9277-4
[12] 霍姆科维奇，J。；塞伯特，S。；Karhumäki，J。；克劳克，H。；Schnitger，G.，测量有限自动机中不确定性的通信复杂性方法，Inf.Comput。，172, 202-217 (2002) ·兹比尔1009.68067 ·doi:10.1006/inco.2001.3069
[13] 卡波提斯，C。；Zakzok，M.，双向有限自动机中的交替，Theor。计算。科学。，870, 75-102 (2021) ·Zbl 1504.68104号 ·doi:10.1016/j.tcs.2020.12.011
[14] 基勒，C。；萨洛马，K。；Leporati，A。；马丁·维德，C。；夏皮拉，D。；Zandron，C.，有限通用分支的交替有限自动机，语言与自动机理论与应用，196-207（2020），Cham:Springer，Cham·Zbl 1437.68099号 ·doi:10.1007/978-3-030-40608-0_13
[15] 基勒，C。；萨洛马，K。；吉尔拉斯科娃，G。；Pighizini，G.，在交替有限自动机中结合有限并行性和不确定性，形式系统的描述复杂性，91-103（2020），Cham:Springer，Cham·Zbl 07371292号 ·doi:10.1007/978-3-030-62536-8
[16] Keeler，C.，Salomaa，K.：交替有限自动机的宽度度量。In：国际会议形式系统描述复杂性，DCFS。计算机科学课堂讲稿，第13037卷，第88-99页。斯普林格，海德堡（2021）。doi:10.1007/978-3-030-93489-7_8·Zbl 07614744号
[17] Keeler，C.，Salomaa，K.：非确定性度量的结构特性和增长率。Inf.计算。284104690（2022）·Zbl 07488456号
[18] Kozen，D.：自然证明系统的下限。摘自：第18届计算机科学基础年度研讨会论文集，第254-266页（1977年）
[19] Leis，E.，布尔自动机对正则语言的简洁表示，Theor。计算。科学。，13, 323-330 (1981) ·Zbl 0458.68017号 ·doi:10.1016/S0304-3975（81）80005-9
[20] Leung，H.，距离函数有限自动机上的极限定理：代数证明，Theor。计算。科学。，81, 137-145 (1991) ·Zbl 0729.68049号 ·doi:10.1016/0304-3975（91）90321-R
[21] Leung，H.，关于有限不确定性的有限自动机，信息学报，35595-624（1998）·Zbl 0923.68090号 ·doi:10.1007/s002360050133
[22] Leung，H.，从多项式模糊有限自动机中分离指数模糊有限自自动机，SIAM J.Comput。，27, 1073-1082 (1998) ·Zbl 0911.68144号 ·doi:10.137/S0097539793252092
[23] Leung，H。；Podolskiy，V.，距离自动机的有限性问题：重访Hashiguchi的方法，Theor。计算。科学。，310, 147-158 (2004) ·Zbl 1071.68045号 ·doi:10.1016/S0304-3975（03）00377-3
[24] Palioudakis，A。；萨洛马，K。；Akl，SG，有限树宽NFA的状态复杂性，J.Automata Lang.Comb。，17, 2-4, 245-264 (2012) ·Zbl 1322.68126号
[25] Palioudakis，A。；萨洛马，K。；Akl，SG，最坏情况分支和其他不确定性度量，国际期刊发现。计算。科学。，28, 3, 195-210 (2017) ·Zbl 1371.68163号 ·doi:10.1142/S0129054117500137
[26] 拉维库马尔，B。；俄亥俄州伊巴拉，《将有限自动机的歧义类型与其表示的简洁性联系起来》，SIAM J.Compute。，18, 6, 1263-1282 (1989) ·Zbl 0692.68049号 ·数字对象标识代码：10.1137/0218083
[27] Shallit，J.，《形式语言和自动机理论第二课程》（2008），剑桥：剑桥大学出版社，剑桥·Zbl 1163.68025号 ·doi:10.1017/CBO9780511808876
[28] Sipser，M.：《计算理论导论》，第三版。Cengage（2013）·Zbl 1191.68311号
[29] 韦伯，A。；Seidl，H.，关于有限自动机的模糊度，Theor。计算。科学。，88, 2, 325-349 (1991) ·Zbl 0738.68059号 ·doi:10.1016/0304-3975（91）90381-B
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。