奥尔加·格林斯坦;本特·琼森;马丁·勒克 时间转换系统的推断。 （英语） Zbl 1272.68165号 Bradfield，Julian（编辑）等人，第六届无限状态系统验证国际研讨会论文集（INFINITY 2004），英国伦敦，2004年9月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》138，第3期，87-99（2005）。 摘要：我们将Angluin的正则语言在线学习算法扩展到时间转换系统的设置。更具体地说，我们描述了一个通过询问一系列成员查询（系统是否接受给定的时间词？）和等价查询（假设的描述是否等同于正确的描述？）来推断可由事件记录自动机描述的系统的过程。在推断的描述中，状态由符号序列和时序信息标识。成员查询的数量在区域图中是多项式的，并且是要学习的自动机的最大常数。关于整个系列，请参见[Zbl 1272.68009号]. 引用于1文件 MSC公司： 68问题32 计算学习理论 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}等人，《电子》。注释Theor。计算。科学。138，第3号，87--99（2005；Zbl 1272.68165） 全文： 链接