×

加权自动机是紧凑的和可主动学习的。 (英语) 兹比尔1516.68046

摘要:我们表明,两元素域上的加权自动机可以比非确定性有限状态自动机更紧凑。为了说明这一点,我们结合了自动机理论和通信复杂性的思想。然而,在Anguin的最小适当教师模型中,加权自动机在许多查询中也可以有效地学习,这些查询在最小加权自动机的大小上是多项式的。我们包含了一种基于Anguin-Schapire算法的线性代数推广的WA学习算法。总之,这产生了一个令人惊讶的结果:字段上的加权自动机的结构足够紧凑,即使它们可以非常紧凑,但仍然可以有效地学习。

MSC公司:

65年第68季度 形式语言和自动机
2011年第68季度 通信复杂性、信息复杂性
68问题32 计算学习理论
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Angluin,Dana,从查询和反例中学习规则集,Inf.Comput。,75, 2, 87-106 (1987) ·Zbl 0636.68112号
[2] 达纳州安格鲁因;Michael Kharitonov,什么时候会员资格查询没有帮助?,J.计算。系统。科学。,50, 2, 336-355 (1995) ·Zbl 0827.68039号
[3] 桑吉耶夫·阿罗拉;Barak,Boaz,《计算复杂性:现代方法》,第1卷(2009年),剑桥大学出版社:剑桥大学出版社·Zbl 1193.68112号
[4] 博利格,贝内迪克特;彼得·哈贝梅尔(Peter Habermehl);克恩(Kern)、卡斯滕(Carsten);Leucker,Martin,英国式nfa学习,(IJCAI,第9卷(2009)),1004-1009
[5] Filippo Bonchi;马塞洛·邦桑格;Helle Hvid Hansen;帕南加登,普拉卡什;鲁滕,一月;Silva,Alexandra,Brzozowski最小化算法中的代数-代数对偶,(ACM计算逻辑学报(2013))·Zbl 1288.68174号
[6] 凯雷,J.W。;Paz,A.,《随机有限自动机的实现》,J.Compute。系统。科学。,5, 26-40 (1971) ·兹比尔0236.94042
[7] 亚历山大·克拉克;Thollard,Franck,PAC-概率确定性有限状态自动机的可学习性,J.Mach。学习。第5473-497号决议(2004年)·Zbl 1222.68094号
[8] 弗朗索瓦·丹尼斯;奥雷连·勒梅;Terlutte,Alain,使用RFSA学习常规语言,Theor。计算。科学。,313, 2, 267-294 (2004) ·Zbl 1059.68058号
[9] Droste,M。;Kuich,W。;福格勒,H.,《加权自动机手册》(2009),施普林格·Zbl 1200.68001号
[10] 弗利斯,M.,汉克尔矩阵,J.数学。Pures应用。,53, 187-222 (1974) ·Zbl 0315.94051号
[11] 朱拉吉·赫罗姆科维奇;Georg Schnitger,《关于确定小型NFA和证明其大小下限的困难》(语言理论发展(2008),Springer),第34-55页·Zbl 1159.68017号
[12] 迈克尔·卡恩斯(Michael Kearns);Valiant,Leslie,学习布尔公式和有限自动机的密码学限制,J.ACM(JACM),41,1,67-95(1994)·Zbl 0807.68073号
[13] 阿尔伯特·迈耶(Albert Meyer);Stockmeyer,Larry,带平方的正则表达式的等价问题需要指数空间,(第13届IEEE交换与自动机理论年会论文集(1972)),125-129
[14] Mohri,Mehryar,加权自动机算法,(加权自动机手册(2009),Springer),213-254·Zbl 1484.68092号
[15] 莫赫里(Mohri,Mehryar);费尔南多·佩雷拉(Fernando C.N.Pereira)。;Michael Riley,加权有限状态传感器语音识别,(语音处理和语音通信手册,第e部分:语音识别(2008),Springer)
[16] 莫赫里(Mohri,Mehryar);佩德罗·莫雷诺;Weinstein,Eugene,带加权有限状态转换器的高效鲁棒音乐识别,IEEE Trans。音频语音语言处理。,18, 1, 197-207 (2009)
[17] Schapire,Robert E.,高效学习算法的设计和分析(1991),技术报告,DTIC文件
[18] Yokomori,Takashi,从查询和反例中学习非确定性有限自动机,马赫。智力。,13, 169-189 (1994)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。