×
佛罗伦萨伊帕特；玛丽安·盖奥吉；拉卢卡左翼

从查询中学习确定性扩展有限状态机的基本结果。 （英语） Zbl 1497.68234号

西奥。计算。科学。 862, 160-173 (2021).
摘要：由Anguin发起的正则语言推理有许多发展，包括在软件工程和测试中的应用。然而，有限自动机对系统数据建模的能力非常有限，在许多情况下，会使用将系统控制与数据结构相结合的扩展有限状态机形式。将盎格鲁式推理算法应用于扩展状态机将涉及到构造与确定性3值确定性有限自动机一致的最小确定性扩展有限状态机。除了有限自动机通常的接受和拒绝状态外，三值确定性有限自动机可能具有“不在乎”状态；达到这种状态的输入序列可以被视为接受或拒绝，这是方便的。上述结构简化为找到一个与三值确定性有限自动机一致的最小确定性有限自自动机，它保留了扩展模型的确定性性质，扩展模型也处理与之相关的数据结构。本文研究了与Anguin语言推理问题相关的扩展有限状态机的基本性质，并为此类模型提供了一种推理算法。

MSC公司：

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

关键词：

3DFA公司；有限自动机；从查询中学习；扩展有限状态机；X机器
PDF格式BibTeX公司 XML格式引用
\textit{F.Ipate}等人，Theor。计算。科学。862160--173（2021年；Zbl 1497.68234）
全文： DOI程序

参考文献：

[1] （Rozenberg，G.；Salomaa，A.，《形式语言手册》（1997），Springer Verlag:Springer Verlag Berlin，Heidelberg）·兹伯利0866.68057
[2] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley·Zbl 0426.68001号
[3] Krena，B。；Vojnar，T.，《自动化形式分析和验证：概述》，国际通用系统杂志。，42, 4, 335-365 (2013) ·Zbl 1286.68318号
[4] Mathur，A.P.，《软件测试基础》（2014），Addison-Wesley
[5] Angluin，D.，从查询和反例中学习正则集，Inf.Compute。，75, 2, 87-106 (1987) ·兹伯利0636.68112
[6] 匈牙利。；O.尼塞。；Steffen，B.，自动机学习中的领域特定优化，（CAV（2003）），315-327·Zbl 1278.68177号
[7] Berg，T。；Jonsson，B。；Raffelt，H.，带参数状态机的规则推理，（FASE（2006）），107-121
[8] Ipate，F.，从查询中学习有限覆盖自动机，J.Compute。系统。科学。，78, 1, 221-244 (2012) ·Zbl 1332.68101号
[9] Howar，F。；Steffen，B.，《实践中的主动自动机学习——2011年至2016年的注释书目》，（动态软件分析的机器学习。动态软件分析中的机器学习，计算机科学讲义，第11025卷（2018），Springer Verlag），123-148
[10] 丁卡，I。；伊帕特，F。；Stefanescu，A.，事件-B分解的模型学习和测试生成，（利用形式方法的应用、验证和确认。掌握变化的技术——第五届国际研讨会，2012年10月15日至18日，希腊克里特岛赫拉克利翁，2012年，会议录，第一部分（2012）），539-553
[11] 范蒂纳托，M。；Jino，M.，将扩展有限状态机应用于交互式系统的软件测试，（DSV-IS 2003：第十届交互式系统国际研讨会论文集。设计、规范和验证。DSV-IS 2003:第十届交互系统国际研讨会文献集。设计，规范和验证，计算机科学讲义，第2844卷（2003），Springer Verlag），34-45
[12] Yang，R。；陈，Z。；张，Z。；Xu，B.，基于EFSM的测试用例生成：序列、数据和oracle，Int.J.Softw。工程知识。工程师，25，4，633-668（2015）
[13] 霍尔科姆，M。；Ipate，F.，《正确的系统-构建业务流程解决方案》，应用计算（1998），施普林格出版社·Zbl 0912.68029号
[14] Bogdanov，K。；霍尔科姆，M。；伊帕特，F。；种子，L。；Vanak，S.K.，《X光机的测试方法：综述》，Form.Asp。计算。，18, 1, 3-30 (2006) ·Zbl 1103.68461号
[15] Hierons，R.M.，流X机器的检查实验，Theor。计算。科学。，411, 37, 3372-3385 (2010) ·Zbl 1214.68215号
[16] 梅拉约，M.G。；努涅斯，M。；Hierons，R.M.，测试由流X机器建模的定时系统，Softw。系统。型号。，10, 2, 201-217 (2011)
[17] Hierons，R.M。；Ipate，F.，针对不可控制的非确定性流X机器测试确定性实现，Form.Asp。计算。，20, 6, 597-617 (2008) ·Zbl 1163.68327号
[18] Ipate，F.，使用状态计数对不可控制流X机器进行测试，Theor。计算。科学。，353, 1-3, 291-316 (2006) ·兹比尔1088.68020
[19] 伊帕特，F。；Holcombe，M.，从流X机器模型测试面向数据处理的系统，Theor。计算。科学。，403, 2-3, 176-191 (2008) ·兹比尔1154.68080
[20] 伊帕特，F。；Dranidis，D.，来自确定性流X机器规范的统一集成和组件测试方法，Form.Asp。计算。，28, 1, 1-20 (2016) ·Zbl 1335.68021号
[21] 吉格纳德，A。；Faure，J。；Faraut，G.，具有适当一致性关系的PLC程序的基于模型的测试，IEEE Trans。Ind.通知。，14, 1, 350-359 (2018)
[22] D.E.杰克逊。；霍尔科姆，M。；Ratnieks，F.L.W.，《轨迹几何赋予蚂蚁觅食网络极性》，《自然》，432，7019，907-909（2004）
[23] Smallwood，R.H。；Holcombe，M.，上皮细胞组项目：基于多尺度代理的上皮细胞建模，（2006年IEEE生物医学成像国际研讨会论文集：从纳米到宏观。2006年美国弗吉尼亚州阿灵顿IEEE国际生物医学成像研讨会论文集，2006年4月6日至9日（2006）），816-819
[24] Flame网站
[25] 普恩，Gh。，《膜计算》，J.Compute。系统。科学。，61, 1, 108-143 (2000) ·Zbl 0956.68055号
[26] （Péun，Gh.；Rozenberg，G.；Salomaa，A.，《牛津膜计算手册》（2010），牛津大学出版社）·兹伯利1237.68001
[27] 阿瓜多，J。；巴勒内斯库，T。；Cowling，A。；Gheorghe，M。；霍尔科姆，M。；带复制重写和流X机器（Eilenberg机器）的Ipate，F.，P系统，Fundam。通知。，49, 1-3, 17-33 (2002) ·Zbl 0997.68051号
[28] Kefalas，P。；Stamatopoulou，I。；Sakellariou，I。；Eleftherakis，G.，《将通信X机转换为P系统》，自然计算。，8, 4, 816-832 (2009) ·Zbl 1185.68338号
[29] 陈，Y。；Farzan，A。；克拉克，E.M。；Tsay，Y。；Wang，B.，学习用于成分验证的最小分离DFA，（系统构建和分析的工具和算法，第15届国际会议，TACAS 2009，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2009，英国约克，2009年3月22日至29日，Proceedings（2009）），31-45·Zbl 1234.68166号
[30] 格林斯坦，O。；Leucker，M。；Piterman，N.，《自动推断网络不变量》，（自动推理，第三届国际联合会议，IJCAR 2006，西雅图，华盛顿州，美国，2006年8月17日至20日，会议记录（2006）），483-497·Zbl 1222.68379号
[31] 古普塔，A。；McMillan，K.L。；Fu，Z.，成分验证的自动假设生成，形式方法系统。设计。，32, 3, 285-301 (2008) ·Zbl 1147.68050号
[32] 佩纳，J.M。；Oliveira，A.L.，一种用于不完全指定有限状态机精确约简的新算法，IEEE Trans。计算-辅助设计。集成。电路系统。，18, 11, 1619-1632 (1999)
[33] 保尔，M.C。；Unger，S.H.，最小化不完全指定顺序开关函数中的状态数，IRE-Trans。电子。计算。，8，356-367（1959年）
[34] Gheorghe，M。；伊帕特，F。；Konur，S.，《使用覆盖自动机和X机器基于可识别P系统的测试》，《信息科学》。，372, 565-578 (2016) ·兹比尔1428.68153
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。