×
法希梅·巴耶赫;高自远;桑德拉·齐勒斯

可区分的擦除模式语言。 （英语） Zbl 1436.68159号

西奥。计算。科学。 808, 38-73 (2020).
摘要：几十年来，模式语言一直是计算机科学各个分支领域的研究对象。本文介绍并研究了一个关于模式的决策问题，称为有限可区分性问题：给定一个模式\（\pi\），是否存在字符串的有限集\（T^+）和\（T*-），使得唯一包含\（T|+）中所有字符串而不包含\（T ^-）中任何字符串的模式语言是由\（\ pi\）生成的语言？这个问题与计算学习理论中研究的教师指导学习的复杂性有关，也与两种模式的等价性是否可判定这一长期悬而未决的问题有关。我们证明，如果基础字母表的大小不是2或3，则有限可分辨性是可判定的，并提供了一些相关的结果，例如（i）字母表大小2和3的部分解，以及（ii）模式的特殊子类（即正则、1-变量）问题的变量的可判定性证明，和非交叉模式。对于相同的子类，我们进一步确定了教师指导学习中两个复杂性参数的值，即教学维度和递归教学维度。

MSC公司：

65年第68季度 形式语言和自动机
68问题32 计算学习理论

关键词：

模式语言;教学维度;递归教学维
PDF格式BibTeX公司 XML格式引用
\textit{F.Bayeh}等人，Theor。计算。科学。808，38-73（2020年；兹bl 1436.68159）
全文： 内政部

参考文献：

[1] Angluin，Dana，《寻找一组字符串的通用模式》，J.Compute。系统。科学。，21, 46-62 (1980) ·Zbl 0454.68108号
[2] 阿基里斯·贝罗斯；高自远；桑德拉·齐勒斯（Sandra Zilles），《教学模型的算术复杂性分类》（第二十七届算法学习理论国际会议论文集（2016）），145-160·Zbl 1478.68109号
[3] 布拉兹马，阿尔维斯；英奇·乔纳森；英格瓦·艾德默尔；Gilbert，David，《生物序列中模式的自动发现方法》，J.Compute。生物学，5，2，279-305（2009）
[4] 托马斯·埃勒巴赫（Thomas Erlebach）；Peter Rossmanith；汉斯·斯塔德瑟（Hans Stadtherr）；Angelika Steger；托马斯·齐格曼（Thomas Zeugmann），通过提问，平均、并行地非常高效地学习单变量模式语言，Theor。计算。科学。，261, 1, 119-156 (2001) ·Zbl 0976.68085号
[5] 亨宁费尔瑙；Schmid，Markus L.，《变量模式匹配：多元复杂性分析》，Inf.Comput。，242, 287-305 (2015) ·兹比尔1370.68124
[6] Sally Floyd；Warmuth，Manfred K.，《样本压缩、可学习性和Vapnik-Chervonenkis维数》，马赫。学习。，21, 3, 269-304 (1995)
[7] Dominik D.Freydenberger。；Daniel Reidenbach，《模式决策问题的坏消息》，Inf.Comput。，208, 83-96 (2010) ·Zbl 1189.68071号
[8] 高自远；扎伊纳布·马扎迪；梅洛什，里根；Simon，Hans U。；Zilles，Sandra，《使用成员示例区分模式语言》，Inf.Compute。，256, 348-371 (2017) ·Zbl 1376.68072号
[9] 高自远；克里斯托弗·里斯；Simon，Hans U。；桑德拉·齐勒斯（Sandra Zilles），《基于偏好的教学》（Preference-based teaching），J.Mach。学习。决议，18，1-32（2017）·Zbl 1433.68184号
[10] 高子源，克里斯托夫·里斯，汉斯·尤·西蒙，桑德拉·齐勒斯，基于偏好的模式语言教学，未出版手稿，2017年·Zbl 1433.68184号
[11] 高子元；Simon，Hans Ulrich；Sandra Zilles，《关于线性集的教学复杂性》，ALT 2015特刊。ALT 2015特刊，Theor。计算。科学。，716, 107-123 (2018) ·Zbl 1388.68150号
[12] 西摩·金斯堡，《无语境语言的数学理论》（1966），麦格劳-希尔公司：麦格劳–希尔公司，美国纽约州纽约市·Zbl 0195.02301号
[13] 西摩金斯堡；斯潘尼尔，埃德温·H，有界正则集，Proc。美国数学。《社会学杂志》，17，5，1043-1049（1966）·Zbl 0147.25301号
[14] Sally A.Goldman。；Michael J.Kearns，《论教学的复杂性》，J.Compute。系统。科学。，50, 20-31 (1995) ·兹比尔0939.68770
[15] Sally A.Goldman。；Mathias，H.D.，《教聪明的学习者》，J.Compute。系统。科学。，52, 2, 255-267 (1996) ·Zbl 1152.68451号
[16] 奥斯卡·H·伊巴拉（Oscar H.Ibarra）。；Seki，Shinnosuke，单向和双向确定性机器对有界半线性语言的表征，国际期刊发现。计算。科学。，23, 6, 1291-1306 (2012) ·Zbl 1272.68210号
[17] 桑杰·贾恩；Yuh Shin Ong；Stephan，Frank，正则模式，正则语言和无上下文语言，Inf.Process。莱特。，110, 1114-1119 (2010) ·Zbl 1379.68224号
[18] 姜涛；Efim Kinber；阿托·萨洛马；Kai Salomaa；Yu，Sheng，带擦除和不带擦除的模式语言，Int.J.Comput。数学。，50, 147-163 (1994) ·Zbl 0939.68690号
[19] 姜涛；阿托·萨洛马；Kai Salomaa；Yu，Sheng，模式决策问题，J.Compute。系统。科学。，50，53-63（1995年）·Zbl 0827.68066号
[20] Lothaire，M.，《单词组合学》（1983），艾迪生-韦斯利出版公司·Zbl 0514.2004年5月
[21] Jochen Nessel；Lange，Steffen，通过查询学习擦除模式语言，Theor。计算。科学。，348, 41-57 (2005) ·Zbl 1081.68049号
[22] 奥勒布什，埃诺；Ukkonen，Esko，关于电子模式语言的等价问题，Theor。计算。科学。，186, 1-2, 231-248 (1997) ·Zbl 0903.68110号
[23] 丹尼尔·雷登巴赫（Daniel Reidenbach），电子模式语言的一个不可学习类，Theor。计算。科学。，350, 91-102 (2006) ·Zbl 1086.68116号
[24] Daniel Reidenbach，《模式推理中的不连续性》，Theor。计算。科学。，397166-193（2008年）·Zbl 1145.68027号
[25] 丹尼尔·雷登巴赫（Daniel Reidenbach）；Schmid，Markus L.，小字母上的规则和无上下文模式语言，Theor。计算。科学。，518, 80-95 (2014) ·Zbl 1358.68174号
[26] 小泉真原；Miyano，Satoru，《计算学习中的可教性》，新一代。计算。，8, 337-347 (1991) ·Zbl 0712.68084号
[27] Shinohara，Takeshi，模式语言的多项式时间推断及其应用，（第七届IBM计算机科学数学基础研讨会（1982年））
[28] Shinohara，Takeshi，扩展正则模式语言的多项式时间推断，（RIMS软件科学与工程研讨会（1982）），115-127·Zbl 0511.68050号
[29] 弗拉基米尔·瓦普尼克；Chervonenkis，Alexey，《关于事件相对频率与其概率的一致收敛性》，《概率论》。申请。，16, 264-280 (1971) ·Zbl 0247.60005号
[30] 桑德拉·齐尔斯；斯特芬·兰格；罗伯特·霍尔特（Robert Holte）；马丁·津科维奇（Martin Zinkevich），《合作教学模式》（Models of cooperative teaching and learning），J.Mach。学习。决议，12349-384（2011）·Zbl 1280.68224号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。