×

推断正则语言和\(\omega \)-语言。 (英语) Zbl 1394.68211号

摘要:Inf.Compute.75,87–106(1987;Zbl 0636.68112号)]D.安格鲁因提出了一种使用成员关系和等价查询推断未知正则语言的算法,称为(mathbf{L}^ast)。该算法在系统设计和验证领域有许多应用。这些应用程序在各个方向上挑战了最先进的解决方案,尤其是缩放或使用更简洁的表示,以及处理反应系统推理的主要模型“(ω)语言”。
这两种扩展都面临着类似的困难。推理算法通常依赖自动机状态和正确同余之间的对应关系,因此剩余性DFA具有剩余性(如Myhill-Nerode定理所述),但更简洁的表示,如非确定性和交替有限自动机(NFA和AFA),通常不具有剩余性。在\(\omega \)语言领域的情况更糟,因为没有一种能够表示所有正则\(\omega \)语言的传统自动机具有剩余性属性。
本文综述了正则语言和欧米伽语言的残差模型以及可以推断这些模型的学习算法。

MSC公司:

第68季度第45季度 形式语言和自动机
68问题32 计算学习理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿尔茨,F。;Vaandrager,F.,《学习I/O自动机》(CONCUR 2010-并发理论,第21届CONCUR 2010国际会议,法国巴黎,2010年8月31日至9月3日,会议记录,(2010)),71-85·Zbl 1287.68087号
[2] 阿鲁尔(Alur,R.)。;乔恩,P。;Madhusudan,P。;Nam,W.,Java类接口规范的合成,(第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'05,(2005),美国纽约州纽约市ACM),98-109·Zbl 1369.68126号
[3] Angluin,D.,从查询和反例中学习正则集,Inf.Compute。,75, 2, 87-106, (1987) ·Zbl 0636.68112号
[4] Anguin,D.,Queries and concept learning,马赫。学习。,2, 4, 319-342, (1987) ·Zbl 1470.68050号
[5] Angluin,D.,等价查询的否定结果,马赫。学习。,5, 121-150, (1990)
[6] Angluin,D.,DBW和DCW类ω-耶鲁大学计算机科学系,技术代表YALEU/DCS/TR-1528,通过多项式时间和数据的正数据和成员查询在极限内可以识别语言
[7] 安格鲁因,D。;Antonopoulos,T。;Fisman,D.,衍生ω树语言在多项式时间内的查询学习,(第26届EACSL计算机科学逻辑年会,2017年8月20日至24日,瑞典斯德哥尔摩,(2017)),21页·Zbl 1434.68211号
[8] 安格鲁因,D。;博克,美国。;Fisman,D.,作为欧米伽规则语言接受者的DFA家族,(2016年8月22日至26日,MFCS 2016,第41届国际计算机科学数学基础研讨会,波兰克拉科夫,(2016)),17页·Zbl 1398.68292号
[9] 安格鲁因,D。;艾森斯塔特,S。;Fisman,D.,《通过交替自动机学习正则语言》,(第二十四届国际人工智能联合会议论文集,2015年7月25日至31日,阿根廷布宜诺斯艾利斯,(2015)),3308-3314
[10] 安格鲁因,D。;Fisman,D.,学习常规omega语言,(算法学习理论-第25届国际会议,ALT 2014,斯洛文尼亚布莱德,2014年10月8-10日,会议记录,(2014)),125-139·Zbl 1353.68149号
[11] 安格鲁因,D。;Fisman,D.,学习常规欧米茄语言,Theor。计算。科学。,65057-72(2016)·Zbl 1362.68118号
[12] Arnold,A.,理性omega语言的句法一致性,Theor。计算。科学。,39, 333-335, (1985) ·Zbl 0578.68057号
[13] Balle,B。;Mohri,M.,学习加权自动机,(第六届国际代数信息学会议论文集,(2015)),1-21·Zbl 1401.68144号
[14] 贝加达诺,F。;Varricchio,S.,从多重性和等价性查询中学习自动机的行为,SIAM J.Compute。,25, 6, 1268-1280, (1996) ·Zbl 0864.68063号
[15] Berndt,S。;Liskiewicz,M。;Lutter,M。;Reischuk,R.,学习剩余交替自动机,(第三十届AAAI人工智能会议,AAAI-17,(2017))
[16] 比尔曼,A.W。;Feldman,J.A.,《从行为样本合成有限状态机》,IEEE Trans。计算。,21, 6, 592-597, (1972) ·Zbl 0243.94039号
[17] Bojañczyk,M.,《带来源信息的传感器》,(自动化、语言和编程——第41届国际学术讨论会,ICALP 2014,丹麦哥本哈根,2014年7月8日至11日,会议记录,(2014)),26-37·Zbl 1409.68152号
[18] Bollig,B。;哈贝梅尔,P。;科恩,C。;Leucker,M.,《NFA的英式学习》,(第21届国际人工智能联合会议论文集,2009年7月11日至17日,美国加利福尼亚州帕萨迪纳,2009,(2009)),1004-1009
[19] Bollig,B。;Katoen,J。;科恩,C。;Leucker,M。;奈德,D。;Piegdon,D.R.,Libalf:自动机学习框架,(计算机辅助验证,第22届国际会议,2010年7月15日至19日,英国爱丁堡,2010年),360-364
[20] 博廷根,M。;Babic,D.,Sigma*:输入输出规范的符号学习,(第40届美国计算机学会程序设计语言原理研讨会,(2013)),443-456·Zbl 1301.68095号
[21] Calbrix,H。;尼瓦特,M。;Podelski,A.,《理性的最终周期词》ω-语言,(编程语义学的数学基础,第九届国际会议,1993年4月7日至10日,美国洛杉矶新奥尔良,会议记录,(1993)),554-566·Zbl 1509.68128号
[22] 卡塞尔,S。;Howar,F。;琼森,B。;Steffen,B.,《扩展有限状态机的主动学习》,Form.Asp。计算。,28, 2, 233-263, (2016) ·Zbl 1342.68174号
[23] Chandra,A.K。;Stockmeyer,L.J.,Alternation,(第17届计算机科学基础年度研讨会,美国德克萨斯州休斯顿,(1976)),98-108
[24] 查普曼,M。;节流阀,H。;Kesseli,P。;Kroening,D。;斯特里赫曼,O。;Tautschnig,M.,学习错误语言,(验证和分析自动化技术第13届国际研讨会,2015年10月12日至15日,中国上海,ATVA,2015,会议记录,(2015)),114-130·Zbl 1471.68101号
[25] 陈,Y。;克拉克,E.M。;Farzan,A。;蔡,M。;Tsay,Y。;Wang,B.,通过内隐学习进行自动假设保证推理,(计算机辅助验证,第22届国际会议,CAV 2010,英国爱丁堡,2010年7月15日至19日,Proceedings,(2010)),511-526
[26] 佩林,J.-E.P.D.,《无限词:自动机、半群、逻辑和游戏》(2004),施普林格·Zbl 1094.68052号
[27] de la Higuera,C。;Janodet,J.-C.,从前缀推断[omega]-语言,Theor。计算。科学。,313, 2, 295-312, (2004) ·Zbl 1069.68071号
[28] 丹尼斯,F。;A.勒梅。;Terlutte,A.,剩余有限状态自动机,(2001年2月15日至17日,德国德累斯顿,STACS,第18届计算机科学理论方面年度研讨会,2001,Proceedings,(2001)),144-157·Zbl 0976.68089号
[29] 多马拉茨基,M。;基斯曼,D。;Shallit,J.,《关于n个状态的有限自动机所接受的不同语言的数量》,(第三届自动机、语法和相关结构描述复杂性国际研讨会,DCAGRS 2001,奥地利维也纳,2001年7月20日至22日,预处理,(2001)),67-78
[30] Drews,D。;D’Antoni,L.,学习符号自动机,(系统构建和分析的工具和算法——第23届国际会议,TACAS 2017,作为欧洲软件理论和实践联合会议的一部分举行,ETAPS 2017,瑞典乌普萨拉,2017年4月22日至29日,会议录,第一部分,(2017)),173-189·Zbl 1452.68092号
[31] Farzan,A。;Chen,Y.-F。;克拉克,E.M。;Tsay,Y.-K。;Wang,B.-Y.,《将自动成分验证扩展到欧米伽规则语言的全类》,(Ramakrishnan,C.;Rehof,J.,《系统构建和分析的工具和算法》,《计算机科学讲义》,第4963卷,(2008),斯普林格-柏林,海德堡),2-17·Zbl 1134.68406号
[32] 冯·L。;Kwiatkowska,M.Z。;Parker,D.,用于组合推理的概率假设的自动学习,(软件工程的基本方法-第14届国际会议,FASE 2011,作为欧洲软件理论和实践联合会议的一部分举行,ETAPS 2011,德国萨尔布吕肯,2011年3月26日至4月3日,会议记录,(2011)),2-17
[33] Fless,M.,Matrices de Hankel,J.数学。Pures应用。,197-224, (1974) ·兹伯利0315.94051
[34] Gold,E.M.,限额内的语言识别,Inf.Control,10,5,447-474,(1967)·Zbl 0259.68032号
[35] Gold,E.M.,从给定数据识别自动机的复杂性,Inf.Control,37,3,302-320,(1978)·Zbl 0376.68041号
[36] 格林斯坦,O。;Leucker,M。;Piterman,N.,自动推断网络不变量,(自动推理,第三届国际联合会议,2006年国际联合会,美国华盛顿州西雅图,2006年8月17日至20日,会议记录,(2006)),483-497·Zbl 1222.68379号
[37] 蹄,M。;Verwer,S.,使用SAT解算器精确识别DFA,(语法推断:理论结果和应用,第十届国际学术讨论会,ICGI 2010,西班牙巴伦西亚,2010年9月13日至16日,论文集,(2010)),66-79·Zbl 1291.68192号
[38] Howar,F。;斯特芬,B。;Jonsson,B。;Cassel,S.,推理规范寄存器自动机,(验证、模型检查和抽象解释-第13届国际会议,VMCAI 2012,费城,宾夕法尼亚州,美国,2012年1月22日至24日,会议记录,(2012)),251-266·兹比尔1326.68168
[39] O.H.伊巴拉。;江涛,从反例中学习规则语言,(第一届计算学习理论年度研讨会论文集,COLT’88,剑桥,马萨诸塞州,美国,1988年8月3-5日,(1988)),371-385
[40] Isberner,M。;Howar,F。;Steffen,B.,《TTT算法:主动自动机学习的无冗余方法》,(运行时验证-第五届国际会议,RV 2014,加拿大安大略省多伦多,2014年9月22日至25日,论文集,(2014)),307-322
[41] Isberner,M。;Howar,F。;Steffen,B.,《开源learnlib-主动自动机学习框架》,(计算机辅助验证-第27届国际会议,2015年7月18日至24日,美国加利福尼亚州旧金山,2015年),第487-495页
[42] Jayasrirani,M。;贝加姆,M.H。;托马斯·D·G。;Emerald,J.D.,bi学习-ω《来自因素的语言》,(《2012年国际地理信息学会会议记录》,JMLR研讨会和会议记录,第21卷,(2012)),139-144
[43] Jürgensen,H。;蒂尔林,G.,Onω-语法幺半群是平凡的语言,国际并行程序。,12, 5, 359-365, (1983) ·Zbl 0545.68072号
[44] M.J.卡恩斯。;Vazirani,U.V.,《计算学习理论导论》(1994),麻省理工学院出版社,马萨诸塞州剑桥,美国
[45] Kozen,D.,《关于图灵机中的并行性》,(第17届计算机科学基础年度研讨会,美国德克萨斯州休斯顿,1976年10月25日至27日,(1976)),89-97
[46] Leiss,E.L.,用布尔自动机对正则语言的Sucint表示,Theor。计算。科学。,13, 323-330, (1981) ·Zbl 0458.68017号
[47] Leucker,M.,《学习与验证》,(组件和对象的正式方法,第五届国际研讨会,FMCO 2006,荷兰阿姆斯特丹,2006年11月7日至10日,修订讲座,(2006)),127-151·Zbl 1147.68541号
[48] Leucker,M。;Neider,D.,从缺乏经验的教师那里学习最小确定性自动机,(利用形式方法的应用、验证和确认,掌握变化的技术——第五届国际研讨会,2012年ISoLA,希腊克里特岛赫拉克利翁,2012年10月15日至18日,论文集,第一部分,(2012)),524-538
[49] 李毅。;Chen,Y.-F。;张,L。;Liu,D.,基于DFA族和分类树的Büchi自动机新学习算法,(2017)
[50] 林德纳,R。;Staiger,L.,Eine bemerkungüber不支持Elektron的后续运营。干扰素。凯伯恩。,10, 4, 195-202, (1974) ·Zbl 0283.94017号
[51] Löding,C。;Thomas,W.,无限单词上的交替自动机和逻辑,(理论计算机科学,探索理论信息学的新前沿,国际会议,IFIP TCS 2000,日本仙台,2000年8月17日至19日,论文集,(2000)),521-535·Zbl 0998.68526号
[52] 马勒,O。;Mens,I.,《在没有老师帮助的情况下通过大字母学习正规语言》(Proc.22nd Int.Conf.on Tools and Algorithms for the Construction and Analysis of Systems,(2016))
[53] 马勒,O。;Pnueli,A.,《关于无限正则集的可学习性》,(第四届计算学习理论年度研讨会论文集,COLT 1991,美国加利福尼亚州圣克鲁斯,1991年8月5-7日,(1991)),128-136
[54] 马勒,O。;Pnueli,A.,《关于无穷正则集的可学习性》,Inf.Comput。,118, 2, 316-326, (1995) ·Zbl 0834.68099号
[55] 马勒,O。;Staiger,L.,《论欧米伽语的句法同余》,Theor。计算。科学。,183,1,93-112,(1997)·Zbl 0911.68145号
[56] McNaughton,R.,用有限自动机测试和生成无限序列,Inf.Control,9,5,521-530,(1966)·Zbl 0212.33902号
[57] Meyer,A.R。;Fischer,M.J.,《自动机、语法和形式系统的描述经济》(第12届交换与自动机理论年度研讨会,美国密歇根州东兰辛,1971年10月13日至15日,(1971)),188-191
[58] Myhill,J.,《有限自动机与事件表示》,(1957)
[59] 奈德,D。;Jansen,N.,《使用求解器技术和自动机学习进行定期模型检查》,(NASA形式方法,第五届国际研讨会,2013年NFM,美国加利福尼亚州莫菲特菲尔德,2013年5月14日至16日,论文集,(2013)),16-31
[60] Nerode,A.,《线性自动机变换》,Proc。美国数学。Soc.,9,4,541-544,(1958年)·Zbl 0089.33403号
[61] Niese,O.,《测试复杂系统的综合方法》,(2003),多特蒙德大学,博士论文
[62] Oliveira,A.L。;Silva,J.P.M.,最小尺寸dfa推断的高效算法,马赫数。学习。,44, 1/2, 93-119, (2001) ·兹伯利0983.68105
[63] Oncina,J。;Garcia,P.,在多项式时间内识别正则语言,(结构和句法模式识别进展,机器感知和人工智能系列,第5卷,(1992),《世界科学》,99-108
[64] Pasareanu,C.S。;Giannakopoulou,D。;博巴鲁,M.G。;科布雷,J.M。;Barringer,H.,《学习分而治之:应用L*算法自动进行假设保证推理》,《形式方法系统》。设计。,32, 3, 175-205, (2008) ·Zbl 1147.68053号
[65] Peled,D.A。;瓦尔迪,M.Y。;Yannakakis,M.,《黑盒检查》,J.Autom。语言梳。,7, 2, 225-246, (2002) ·Zbl 1046.68072号
[66] Rivest,R.L。;Schapire,R.E.,使用归位序列推断有限自动机,Inf.Compute。,103, 2, 299-347, (1993) ·Zbl 0786.68082号
[67] Saoudi,A。;Yokomori,T.,学习本地和可识别的欧米伽语言和单子逻辑程序,(EUROCOLT,LNCS,第1121卷,(1993),Springer-Verlag),50-59
[68] Staiger,L.,《有限状态欧米伽语言》,J.Compute。系统。科学。,27, 3, 434-448, (1983) ·Zbl 0541.68052号
[69] Stockmeyer,L.J.,《集合基问题是NP-complete》,(1975),IBM,技术报告RC-5431
[70] Trakhtenbrot,B.,有限自动机和一元二阶逻辑,Sib。数学。J.,103-131,(1962年)·Zbl 0115.00701号
[71] Vaandrager,F.,模型学习,Commun。ACM,60,2,86-95,(2017)
[72] van Heerdt,G。;Sammartino,M。;Silva,A.,CALF:分类自动机学习框架,(第26届EACSL计算机科学逻辑年会,2017年8月20日至24日,瑞典斯德哥尔摩,(2017)),24页·Zbl 1440.68146号
[73] 瓦尔丹,A。;Sen,K。;维斯瓦纳坦,M。;Agha,G.,使用语言推理验证欧米伽正则性,(系统构建和分析的工具和算法,第11届国际会议,TACAS 2005,作为欧洲软件理论和实践联合会议的一部分举行,ETAPS 2005,英国爱丁堡,2005年4月4日至8日,会议记录,(2005)),45-60·Zbl 1087.68062号
[74] 瓦尔丹,A。;Viswanathan,M.,LEVER:一种基于学习的验证工具,(计算机辅助验证,第18届国际会议,2006年8月17日至20日,美国华盛顿州西雅图CAV,2006,Proceedings,(2006)),471-474
[75] Wagner,K.W.,《正则序列集的层次结构》,(第四届计算机数学基础研讨会,MFCS,(1975)),445-449·Zbl 0327.94062号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。