{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,13]]，“日期时间”：“2024-03-13T17:47:50Z”，“时间戳”：1710352070949}，“引用计数”：5，“发布者”：“世界科学出版社私人有限公司”，“问题”：“05”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”short集装箱运输”：[“国际J。已找到。计算。科学。“]，”已出版印刷品“：｛”日期部分“：[[2017,8]]｝，”摘要“：”正则表达式通常是模棱两可的。我们提出了一种基于Brzozowski\u2019s导数的新方法来帮助用户诊断模糊正则表达式。我们引入了一种基于导数的有限状态转换器来生成解析树和最小反例。传感器可以很容易地定制为遵循POSIX或Greedy消歧策略，并且可以根据有限的示例检查POSIX和Greedy之间是否存在差异<\/jats:p>“，”DOI“：”10.1142\/s0129054117400068“，”type“：”journal-article“，”created“：{”date-parts“：[[2017,12,15]]，”date-time“：”2017-12-15T08:31:43Z“，”timestamp“：1513326703000}，”page“：卷“：”28“，”作者“：[{”given“：”Martin“，”family“：”Sulzmann“，”sequence“：”first“，”affiliation“：[{”name“：”卡尔斯鲁厄应用科学大学计算机科学与商业信息系统学院，Moltkestrasse 30，76133 Karlsruhe，Germany“}]}，{”given”：“Kenny Zhoo Ming”，“family”：“Lu”，“sequence”：“additional”，“affiliance”：新加坡南洋理工学院信息技术学院，新加坡昂莫桥大街8号180号，邮编：569830“}]}]，“成员”：“219”，“在线发布”：{“日期-部件”：[[2017,12,15]]}，“参考”：[{“键”：“S012905411400068BIB001”，“doi-asserted-by”：“出版商”，“doi”：“10.1016\/0304-3975（95）00182-4”}，{“密钥”：“SO129054117400068BIB 002”，“doi-asserted-by“：”publisher“，”DOI“：”10.1016\/0304-3975（86）90088-5“}，{“key”：“S0129054117400068BIB003”，“DOI-asserted-by”：“publisher”，”DOI:“10.1109\/T-C.1971.223204”}，“key“：”S012905411400068BIb006“，“doiasserted-by“：”publisher由“：”publisher“，”DOI“：”10.1109\/TEC.1960.5221603“}]插入，“container-title“：[“国际计算机科学基础杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.worldscience.com\/doi\/pdf\/10.1142\/S012905411700068”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,8,7]]，“date-time“：”2019-08-07T16:20:24Z“，”timestamp“：1565194824000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/www.worldscience.com\/doi\/abs\/10.1142\/S012905411700068”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[[2017,8]]}，‘references-count’：5，‘日志发布’：{‘发布’：’05“，”published-online“：{”date-parts“：[[2017,12,15]]}，”published-print“：{“date-parts”：[[2017,8]]}}，“alternative-id”：[“10.1142\/S012905417400068”]，“URL”：“http://\/dx.doi.org\/10.1142\/S0129054117400068”，“relation”：{}，”ISSN“：[”0129-0541“，”1793-6373“]，”ISSN-type“：[{“value”：“0129-054”，“type”：”print“}，{“value”：“1793-637”373“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2017,8]]}}}