{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,9,25]]，“日期时间”：“2022-09-25T04:57:57Z”，“时间戳”：1664081877477}，“发布者位置”：“Cham”，“引用计数”：8，“发布商”：“Springer Nature Switzerland”，“isbn-type”：[{“值”：“978303156281”，“类型”：”print“}，{“值”：“9783031156298”，“类型”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[[2022]}，”DOI“：”10.1007\/978-3-031-15629-8_31“，”类型“：”book-capter“，”创建“：{”date-part“：[2022,9,24]]，”日期时间“：”2022-09-24T16:26:53Z“，”时间戳“：1664036813000}，“page”：“575-580”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：0，“title”：[“被动自动机学习：DFA和NFA”]，“prefix”：“10.1007”，“author”：[{“给定”：“Hans”，“family”：“Zantema”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”“，”published-online“：{”date-parts“：[[2022,9,7]]}，“引用”：[{“key”：“31_CR1”，“doi-asserted-by”：“crossref”，”非结构化“：“Abel，A.，Reineke，J.：MeMin:基于sat的不完全指定粉状机的精确最小化。摘自：2015 IEEE\/ACM国际计算机辅助设计会议（ICCAD），第94\u2013101页。IEEE Press（2015）“，”DOI“：”10.1109\/ICCAD.2015.7372555“}，{”key“：”31_CR2“，”DOI-asserted-by“：”publisher“，”first page“：“87”，“DOI”：“10.1016\/0890-5401（87）90052-6”，“volume”：“75”，“author”：“D Anguin”，“year”：“1987”，“unstructured”：“Anguin，D.：从查询和反例中学习规则集。Inf.Compute.75，87\u2013106（1987）”，“journal-title”：“信息。计算。}，{“key”：“31_CR3”，“unstructured”：“Bollig，B.，Habermehl，P.，Kern，C.，Leucker，M.：NFA的Angluin-style学习。收录于：IJCAI国际人工智能联合会议，第1004\u20131009页（2009）”}，}，“issue”：“3”，《密钥》：“31-CR4”，“doi-asserted-by”：“publisher”，“first page”：《302》，“doi”：“10.1016\/S0019-9958（78）90562-4”，《卷》：“37”，“author”：“EM Gold”，“year”：“1978”，“nonstructured”：“Gold，E.M.：给定数据的自动机识别的复杂性。Inf.Control 37（3），302\u2013320（1978）“，”journal-title“：”Inf.Control}，{“key”：“31_CR5”，“series-title”：“计算机科学讲稿（人工智能讲稿）”，“doi-asserted-by”：“publisher”，“first page”：”66“，”doi“10.1007\/978-3642-15488-1_7”，“volume-title”：”语法推理：理论结果与应用“，”作者“：”MJH Heule“，”year“：”2010“，”unstructured“：”Heule，M.J.H.，Verwer，S.：使用SAT解算器准确识别DFA。摘自：Sempere，J.M.，Garc\u00eda，P.（eds.）ICGI 2010。LNCS（LNAI），第6339卷，第66\u201379页。施普林格，海德堡（2010）。https:\/\/doi.org\/10.1007\/978-3642-15488-1_7“}，{”key“：”31_CR6“，”series-title“：”Communications in Computer and Information Science“，”doi-asserted-by“：”publisher“，”first page“：“267”，“doi”：“10.1007\/978-300-85672-4_20”，“volume-title”：“Optimization and Learning”，“author”：“F Lardeux”，“year”：“2021”，“unstructured”：“Lardeux，F.，Monfroy，E.：NFA学习的改进SAT模型。收录人：Dorronsoro，B.，Amodeo，L.，Pavone，M.，Ruiz，P.（编辑）OLA 2021。CCIS，第1443卷，第267\u2013279页。查姆施普林格（2021）。https:\/\/doi.org\/10.1007\/978-3-030-85672-4_20“}，{”key“：”31_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“182”，“doi”：“10.1007\/978-23-197-77313-1_14”，“volume-title”：“语言与自动化理论与应用”，“author”：“R Smetsers”，“年份”：“2018”，“非结构化”：“Smetsers，R.，Fiter\u0103u-Bro\u015ftean，P.，Vaandrager，F.：作为可满足性模理论问题的模型学习。收件人：Klein，S.T.，Mart\u00edn-Vide，C.，Shapira，D.（eds.）LATA 2018。LNCS，第10792卷，第182\u2013194页。查姆施普林格（2018）。https:\/\/doi.org/10.1007\/978-3-319-77313-1_14“｝，｛“key”：“31_CR8”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“首页”：“223”，“doi”：“10.1007\/978-3-030-99524-9_12”，“volume title”：“系统构建和分析的工具和算法（TACAS）”，“author”：“F Vaandrager”，“year”：“2022”，“nonstructured”：“Vaandrager，F.、Garhewal，B.、Rot，J.、Wissmann，T.：基于隔离的主动自动机学习新方法。收录：Fisman，D.，Rosu，G.（编辑）TACAS 2022。LNCS，第13243卷，第223\u2013243页。查姆施普林格（2022）。https:\/\/doi.org\/10.1007\/978-3-030-99524-9_12“}]，“container-title”：[“计算机科学课堂讲稿”，“通过时间自动机从过程代数到模型学习的旅程”]，“original-title“：[]，”link“：[{”URL“：”https:\//link.springer.com\/content\/pdf\/10007\/9783-031-15629-8_31“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,9,24]]，”date-time“：”2022-09-24T16:32:37Z“，”timestamp“：1664037157000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-15629-8_31”}}，“subtitle”：[]，“shorttitle”：“[]，”issued“：{”date-ports“：[[2022]]}，“ISBN”：[“9783031156281”，“978303156298“]，”引用计数“：8，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-15629-8_31“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2022]]}，”断言“：[{”值“：”2022年9月7日“，”顺序“：1，”名称“：”first_online”，“label”：“first online”，“group”：｛“name”：“ChapterHistory”，“label”：“ChapterHistory”｝｝]｝｝