{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,9,9]]，“日期-时间”：“2024-09-09T08:32:29Z”，“时间戳”：1725870749476}，“出版商位置”：“查姆”，“引用-计数”：48，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“类型”：”打印“，“值”：“9783319489889“}，{”类型“：”电子“，“value”：“9783319489896”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}，{“start”：{“date-ports”：[2016,1,1]]，T00:00:00Z“，”时间戳“：1451606400000}，”内容-版本“：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2016]]}，”DOI“：”10.1007\/978-319-489898989-6_18“，”type“：”book-capter“，”created“：”{“date-part”：[[2016，1]1,7]]，“日期时间”：“2016-11-07T01:31:19Z”，“时间戳”：1478482279000}，“页面”：“291-309”，“源”：“Crossref”，“is-referenced-by-count”：18，“标题”：[“从输入输出痕迹中学习摩尔机器”]，“前缀”：“10.1007”，”作者“：[{”给定“：”Georgios“，”family“：”Giantamidis“，”sequence“：”first“，”affiliation“：[]}，{”given“：”Stavros“，“family”：“Tripakis”，“sequence”：“additional”，“afliation”：[]{]，“成员”：“297”，“published-online”：{“date-parts”：[[2016,11,8]]}，“reference”：[{“key”：“18_CR1”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，”first page“：”165“，”doi“：”10.1007\/978-3319-25150-9_11“，”volume-title“：”计算的理论方面\u2013 ICTAC 2015“，”author“：”F Aarts“，”年份“：”2015“，“unstructured”：“Aarts，F.，Fiterau-Brostean，P.，Kuppens，H.，Vaandrager，F.：具有新值生成的学习寄存器自动机。收录：Leucker，M.，Rueda，C.，Valencia，F.D.（编辑）ICTAC 2015。LNCS，第9399卷，第165\u2013183页。斯普林格，海德堡（2015）。doi:10.1007\/978-3-319-25150-9_11“}，{“key”：“18_CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”71“，“doi”：“10.1007\/9778-3-642-15375-4_6”，“volume-title”：”CONCUR 2010-并发理论“，”author“：”F Aarts“，”年份“：”2010“，”非结构化“：”Aarts，F.，Vaandrager，F.：学习I/O自动机。收录：Gastin，P.，Laroussinie，F.（编辑）CONCUR 2010。LNCS，第6269卷，第71页\u201385。施普林格，海德堡（2010）。doi:10.1007\/978-3642-15375-4_6“}，{“key”：“18_CR3”，“series-title”：“计算机科学课堂讲稿（人工智能课堂讲稿）”，“doi-asserted-by”：“publisher”，“first page”：《262》，“doi”：“10.1007\/968-3642-15488-1_22”，“volume-title”：《语法推理：理论结果与应用》，“author”：“HI Akram”，“year”：“2010”，“非结构化”：“Akram，H.I.，Higuera，C.，Xiao，H.，Eckert，C.：MATLAB中的语法推理算法。摘自：Sempere，J.M.，Garc\u00eda，P.（eds.）ICGI 2010。LNCS（LNAI），第6339卷，第262\u2013266页。施普林格，海德堡（2010）。doi:10.1007\/978-3642-15488-1_22“}，{“问题”：“3”，“密钥”：“18_CR4”，“doi-asserted-by”：“crossref”，“首页”：“410”，”doi“：”10.1134\/S1064230713020020“，“卷”：“52”，“作者”：“AV Aleksandrov”，“年份”：“2013”，“非结构化”：“Aleksandrov，A.V.，Kazakov，S.V.，Sergushichev，A.A.，Tsarev，F.N.，Shalyto，A.A.：使用基于训练示例的进化编程生成有限状态机，用于控制具有复杂行为的对象。J.计算。系统。科学。国际52（3），410\u2013425（2013）“，“期刊标题”：“J.Compute。系统。科学。Int.“}，{”key“：”18_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“75”，”doi“：”10.1007\/978-3319-13338-6_7“，”volume-title“：“硬件和软件：验证和测试”，”author“：”R Alur“，“年份”：“2014”，“非结构化”：“Alur，R.、Martin，M.、Raghothaman，M.，Stergiou，C.、Tripakis，S.、Udupa，A.：从场景和需求合成有限状态协议。收录：Yahav，E.（编辑）HVC 2014。LNCS，第8855卷，第75\u201391页。斯普林格，海德堡（2014）。doi:10.1007\/978-3-319-13338-6_7“}，{“key”：“18_CR6”，“doi asserted by”：“crossref”，“nonstructured”：“Ammons，G.，Bod\u00edk，R.，Larus，J.R.：采矿规范。In：POPL 2002，pp.4\u201316。ACM（2002）“，”DOI“：”10.1145\/503272.503275“}，{”issue“：”2“，”key“：”18_CR7“，”DOI-asserted-by“：”crossref“，”first page“：“87”，“DOI”：“10.1016\/0890-5401（87）90052-6”，“volume”：“75”，“author”：“D Anguin”，“year”：“1987”，“unstructured”：“Anguin，D.：从查询和反例中学习常规集。Inf.Compute.75（2），87\u2013106（1987）“，”新闻标题“：”Inf.计算。“}，{”key“：”18_CR8“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“175”，“doi”：“10.1007\/978-3-540-31984-9_14”，“volume-title”：“软件工程的基本方法”，“author”：“T Berg”，“year”：“2005”，“unstructured”：“”Berg，T.、Grinchtein，O.、Jonsson，B.、Leucker，M.、Raffelt，H.、Steffen，B.：关于一致性测试和规则推理之间的对应关系。摘自：Cerioli，M.（编辑）FASE 2005。LNCS，第3442卷，第175\u2013189页。斯普林格，海德堡（2005）。doi:10.1007\/978-3-540-31984-9_14“}，{“issue”：“6”，“key”：“18_CR9”，“doi-asserted-by”：“crossref”，“first-page”：“592”，“doi”：“10.1109\/TC.1972.5009015”，“volume”：第21（6）条，592\u2013597（1972）“，”期刊标题“：”IEEE Trans。计算。“}，{”issue“：”2“，”key“：”18_CR10“，”doi-asserted-by“：”crossref“，”first-page“：”256“，“doi”：“10.1134\/S106423071402004X”，“volume”：“53”，“author”：“IP Buzhinsky”，“year”：“2014”，“unstructured”：“Buzhinski，I.P.，Ulyantsev，V.I.，Chivilikhin，D.S.，Shalyto，A.A.：使用蚁群优化从训练样本中诱导有限状态机。计算。系统。科学。国际53（2），256\u2013266（2014）“，“期刊标题”：《计算杂志》。系统。科学。Int.“}，{”key“：”18_CR11“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“250”，”doi“：”10.1007\/978-3319-10431-7_18“，”volume-title“：“软件工程与形式方法”，”author“：”S Cassel“，“年份”：“2014”，”unstructured“：”Cassel，S.，Howar，F.，Jonsson，B.，Steffen，B.：学习扩展有限状态机。收录人：Giannakopoulou，D.，Sala\u00fcn，G.（编辑）SEFM 2014。LNCS，第8702卷，第250\u2013264页。斯普林格，海德堡（2014）。doi:10.1007\/978-3-319-10431-7_18“}，{“issue”：“3”，“key”：“18_CR12”，“doi-asserted-by”：“crossref”，“first page”：”178“，”doi“：”10.1109\/TSE.1978.231496“，”volume“：”4“，”author“：”TS Chow“，”year“1978”，“unstructured”：“Chow，T.S.：用有限状态机建模的测试软件设计。IEEE Trans.Softw.Eng.4（3），178\u2013187（1978年）“，”新闻标题“：”IEEE传输。柔和。工程师“}，{”key“：”18_CR13“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“420”，“doi”：“10.1007\/978-3-540-45069-6_39”，“volume-title”：“计算机辅助验证”，“author”：“MA Col\u00f3n”，“year”：“2003”，“unstructured”：“Col\u00f3n，M.A.，Sankaranarayanan，S.，Sipma，H.B.：使用非线性约束求解生成线性不变量。收录：Hunt，W.A.，Somenzi，F.（编辑）CAV 2003。LNCS，第2725卷，第420\u2013432页。斯普林格，海德堡（2003）。doi:10.1007\/978-3-540-45069-6_39“}，{“key”：“18_CR14”，“doi-asserted-by”：“crossref”，“doi”：“10.1017\/CBO9781139194655”，“volume-title”：“语法推理：学习自动机和语法”，“author”：“C Higuera de la”，“year”：“2010”，“unstructured”：“de la Higueras，C.：语法推理：学会自动机和文法。CUP，Cambridge（2010）”}issue“：”12“，”key“：”18_CR15“，”doi-asserted-by“：”crossref“，”first-page“：”1286“，”doi“：”10.1016\/j.infsof.2010.07.001“，”volume“：“52”，”author“：”R Dorofeeva“，”year“：”2010“，”unstructured“：”Dorofeva，R.，El-Fakih，K.，Maag，S.，Cavalli，A.R.，Yevtushenko，N.：基于FSM的一致性测试方法：一项带有实验评估注释的调查。Inf.柔软。Technol公司。52（12），1286\u20131297（2010）“，“新闻标题”：“Inf.Softw。Technol公司。“}，{”key“：”18_CR16“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”222“，”doi“：”10.1007\/BFb0033357“，”volume-title“：“语法干扰：从句子中学习语法”，”author“：”P Dupont“，”year“：”1996“，”unstructured“：”Dupont，P.：增量正则推理。in:Miclet，L.，Higuera，C.（eds.）ICGI 1996年。LNCS，第1147卷，第222\u2013237页。斯普林格，海德堡（1996）。doi:10.1007\/BFb0033357“}，{“key”：“18_CR17”，“unstructured”：“Giantamidis，G.，Tripakis，S.：从输入-输出跟踪中学习摩尔机器。ArXiv e-prints，v22016年9月。http://\/arxiv.org\/abs\/1605.07805“}，{”issue“：”5“，”key“：”18_CR18“，”doi-asserted-by“：”crossref“，”first page“：“447”，”doi“：”10.1016\/S0019-9958（67）91165-5“，”volume“：1967）“，”新闻标题“：”信息控制“}，{”问题“：”3“，”key“：“18_CR19”，”doi-asserted-by“：”crossref“，”first page“：”302“，“doi”：“10.1016\/S0019-9958（78）90562-4”，“volume”：“37”，“author”：“EM Gold”，“year”：“1978”，“unstructured”：“Gold，E.M.：给定数据自动机识别的复杂性。Inf.Control 37（3），302\u2013320（1978）“，”journal-title“：”Inf.Control}，{“key”：“18_CR20”，“series-title”：“计算机科学课堂讲稿（人工智能课堂讲稿）”，“doi-asserted-by”：“publisher”，“first page”：”344“，”doi“：”10.1007\/11872436_30“，”volume-title：“语法推理：算法和应用”，“author”：“O Grinchtein，“年份”：“2006年”，“非结构化”：“Grinchstein，O.，Leucker，M.：从缺乏经验的教师那里学习有限状态机。收录人：Sakakibara，Y.、Kobayashi，S.、Sato，K.、Nishino，T.、Tomita，E.（编辑）ICGI 2006。LNCS（LNAI），第4201卷，第344\u2013345页。斯普林格，海德堡（2006）。doi:10.1007\/1187236_30“｝，｛“key”：“18_CR21”，“doi断言者”：“crossref”，“非结构化”：“Gulwani，S.：使用输入输出示例在电子表格中自动处理字符串。in：38th POPL，pp.317\u2013330（2011）”，“doi”：“10.1145\/19263851926423”｝，｛“key”：“18_CR22”，“doi断言者”：“crossref”，“非结构化”：“Gulwani，S.、Srivastava，S.和Venkatesan，R.：作为约束求解的程序分析。参见：PLDI 2008，第281\u2013292页。ACM（2008）“，”DOI“：”10.1145\/1375581.1375616“}，{”key“：”18_CR23“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“634”，“DOI”：“10.1007\/978-3642-02658-4_48”，“volume-title”：“计算机辅助验证”，“author”：“A Gupta”，“year”：“2009”，“unstructured”：“Gupta，A.，Rybalchenko，A.：InvGen：一个高效的不变量生成器。收录：Bouajjani，A.，Maler，O.（编辑）CAV 2009。LNCS，第5643卷，第634\u2013640页。斯普林格，海德堡（2009）。doi:10.1007\/978-3642-02658-4_48“}，{“问题”：“2”，“关键”：“18_CR24”，“doi-asserted-by”：“交叉引用”，“首页”：“159”，“doi”：“10.1007\/s10515-014-0157-z”，“卷”：“22”，“作者”：“CL海特迈耶”，“年份”：“2015”，“非结构化”：“Heitmeyer，C.L.，Pickett，M.，Leonard，E.I.，Archer，M.M.，Ray，I.，Aha，D.W.，Trafton，J.G.：构建高保障的以人为中心的决策系统。自动。柔和。Eng.22（2），159\u2013197（2015）“，“新闻标题”：“汽车。柔和。Eng.“}，{”issue“：“4”，”key“：“18_CR25”，”doi-asserted-by“：”crossref“，”first page“：”825“，”doi“：”10.1007\/s10664-012-9222-z“，“volume”：“18”，“author”：“MJ Heule”，“year”：“2013”，“unstructured”：“Heule，M.J.，Verwer，S.：使用可满足性求解器的软件模型综合。Empir.Softw.Eng.18（4），825\u2013856（2013）”，“新闻标题”：“Empir.Softw.Eng.”}，{“key“：”18_CR26“，“系列标题”：“计算机科学讲义”，“doi断言者”：“出版商”，“第一页”：“251”，“doi”：“10.1007\/978-3-642-27940-9_17”，“卷标题”：“验证、模型检查和抽象解释”，“作者”：“F Howar”，“年份”：“2012”，“非结构化”：“Howar，F.，Steffen，B.，Jonsson，B.，Cassel，S.：推断规范寄存器自动机。收录人：Kuncak，V.，Rybalchenko，A.（编辑）VMCAI 2012。LNCS，第7148卷，第251\u2013266页。施普林格，海德堡（2012）。doi:10.1007\/978-3642-27940-9_17“}，{“问题”：“11”，“关键”：“18_CR27”，“doi-asserted-by”：“crossref”，“首页”：“1704”，“doi”：“10.1109\/TCAD.2015.2421907”，“卷”：“34”，“作者”：“X Jin”，“年份”：“2015”，“非结构化”：“Jin，X.，Donz，A.，Deshmukh，J.V.，Seshia，S.A.：闭环控制模型的采矿要求。IEEE传输。计算。辅助设计。集成。电路系统。34（11），1704\u20131717（2015）“，“期刊标题”：“IEEE Trans。计算。辅助设计。集成。电路系统。“}，{”key“：”18_CR28“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“327”，”doi“：”10.1007\/978-3642-21455-4_10“，”volume-title“：“Eternal Networked Software Systems的形式化方法”，“author”：“B Jonsson”，“year”：“2011”，“unstructured”：“”Jonsson，B.：通过数据扩展自动机模型的学习。摘自：Bernardo，M.，Issarny，V.（编辑）SFM 2011。LNCS，第6659卷，第327\u2013349页。斯普林格，海德堡（2011）。doi:10.1007\/978-3642-21455-4_10“}，{“key”：“18_CR29”，“doi-asserted-by”：“crossref”，“unstructured”：“Karthik，A.V.，Ray，S.，Nuzzo，P.，Mishchenko，A.，Brayton，R.，Roychowdhury，J.：ABCD-NL：使用纯布尔模型逼近连续非线性动力系统进行模拟/混合信号验证。In:ASP-DAC，pp.250\u2013255（2014）”，“DOI“：”10.1109 \/ASPDAC.2014.6742898“}，{“key”：“18_CR30”，“volume-title”：“切换与有限自动机理论”，“author”：“Z Kohavi”，“year”：“1978”，“unstructured”：“Kohavi，Z.：切换与有限自动机理论，第二版，McGraw-Hill，New York（1978）”，“edition”：“2”}，}“key”：y“：”publisher，“first page”：“1”，“DOI”：“10.1007”，“volume-title”：“语法推断”，“author”：“KJ Lang”，“year”：“1998”，“unstructured”：“Lang，K.J.，Pearlmutter，B.A.，Price，R.A.：Abbadingo one DFA学习竞赛和新的证据驱动状态合并算法的结果。收录：Honavar，V.，Slutzki，G.（编辑）ICGI 1998。LNCS，第1433卷，第1\u201312页。斯普林格，海德堡（1998）。doi:10.1007\/BFb0054059“}，{“issue”：“8”，“key”：“18_CR32”，“doi-asserted-by”：“crossref”，“first-page”：“1090”，“doi”：“10.1109\/5.533956”，“volume”：”84“，“author”：“D Lee”，“year”：“1996”，“unstructured”：“Lee，D.，Yannakakakakis，M.：测试有限状态机的原理和方法-调查。IEEE 84（8），1090\u20131123（1996）“，”日志标题“：”程序。IEEE“}，{“key”：“18_CR33”，“doi-asserted-by”：“crossref”，“unstructured”：“Lemieux，C.，Park，D.，Beschastnikh，I.：通用LTL规范挖掘。摘自：自动化软件工程（ASE），第81\u201392页，2015年11月”，“doi”：“10.1109 \/ASE.2015.71”}18_CR34“，“非结构化”：”Ljung，L.（编辑）：《系统识别：用户理论》，第2版。Prentice Hall，Englewood Cliffs（1999）“}，{“key”：“18_CR35”，“doi-asserted-by”：“crossref”，“unstructured”：“Medhat，R.，Ramesh，S.，Bonakdarpour，B.，Fischmeister，S.：从输入/输出轨迹挖掘混合自动机的框架。In：嵌入式软件（EMSOFT），pp.177\u2013186（2015）”，“doi”：“10.1109 \/EMSOFT.2015.7318273”}，}，“key“：”18_CR36“，”series-title“：”计算机科学课堂讲稿（人工智能课堂讲稿）“，”doi-asserted-by“：”publisher“，”first page“：”148“，“doi”：“10.1007\/978-3642-15488-1_13”，“volume-title”：“语法推断：理论结果与应用”，“author”：“K Meinke”，“year”：“2010”，“unstructured”：“Meinke，K.:CGE：Mealy自动机的一种顺序学习算法。摘自：Sempere，J.M.，Garc\u00eda，P.（eds.）ICGI 2010。LNCS（LNAI），第6339卷，第148\u2013162页。施普林格，海德堡（2010）。doi:10.1007\/978-3-642-15488-1_13“}，{“volume-title”：“机器学习”，“year”：“1997”，“author”：“TM Mitchell”，“key”：“18_CR37”，“unstructured”：“米切尔，T.M.：机器学习。McGraw-Hill，New York（1997）”}Oncina，J.，Garcia，P.：在多项式时间内识别正则语言。摘自：《结构和句法的进展》，模式识别，第99\u2013108页（1992）“，”DOI“：”10.1142\/9789812797919_0007“}，{”issue“：”5“，”key“：”18_CR39“，”DOI-asserted-by“：”crossref“，”first-page:“448”，”DOI:“10.1109\/34.211465”，”volume“：“15”，”author“：”J Oncina“，”year“：”1993“，”unstructured“：”Oncina，J.，Garc\u00eda，P.，Vidal，E.：学习用于模式识别解释任务的后续传感器。IEEE传输。模式分析。机器。智力。15（5），448\u2013458（1993）“，“期刊标题”：“IEEE Trans。模式分析。机器。智力。“}，{”key“：”18_CR40“，”doi-asserted-by“：”crossref“，”unstructured“：”Ray，B.，Posnett，D.，Filkov，V.，Devanbu，P.：github中编程语言和代码质量的大规模研究。in：ACM SIGSOFT，FSE 2014（2014）“，”doi“：”10.1145\/2635868.2635922“Seshia，S.A.：剪刀：结合归纳、演绎和结构进行验证和合成。在：DAC，第356\u2013365页，2012年6月”，“DOI”：“10.1145\/2228360.2228425”}，{“key”：“18_CR42”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first page”：”207“，“DOI:”10.1007\/978-3642-05089-3_14“，”volume-title“FM 2009:Formal Methods”，“author”：“M Shahbaz”，“year”：“2009”，“unstructured”：“Shahbaz，M.，Groz，R.：推断粉饼机。收录：Cavalcanti，A.，Dams，D.R.（编辑）FM 2009。LNCS，第5850卷，第207\u2013222页。斯普林格，海德堡（2009）。doi:10.1007\/978-3-642-05089-3_14“｝，｛“issue”：“5\u20136”，“key”：“18_CR43”，“doi asserted by”：“crossref”，“首页”：“475”，“doi”：“10.1007\/s10009-012-0249-7”，“volume”：“15”，“author”：“A Solar Lezama”，“year”：“2013”，“nonstructured”：“Solar Lezama，A.：程序草图。STTT 15（5\u20136），475\u2013495（2013）”，“期刊标题“：”STTT“｝，｛”issue“：”1“，”key“：”18_CR44“，”doi-asserted-by“：”crossref“，”first page“：”39“，”doi“：”10.3176\/proc.2013.1.05“，”volume“：“62”，“author”：“M Spichakova”，“year”：“2013”，“unstructured”：“Spichakava，M.：基于引力激发搜索算法的有限状态机推理方法。程序。爱沙尼亚学院。科学。62（1），39\u201346（2013）“，“新闻标题”：“Proc。爱沙尼亚学院。科学。“}，{”issue“：”1“，”key“：”18_CR45“，”doi-asserted-by“：”crossref“，”first-page“：”59“，”doi“：”10.1002\/scj.1184“，”volume“：“34”，“author”：“K Takahashi”，“year”：“2003”，“unstructured”：“Takahahi，K.，Fujiyoshi，A.，Kasai，T.：推断顺序机器的多项式时间算法。Syst.Comput.Jpn.34（1），59\u201367（2003）”，“”日志标题“：”系统。计算。日本。“}，{”key“：”18_CR46“，”doi-asserted-by“：”crossref“，”unstructured“：”Ulyantsev，V.，Buzhinsky，I.，Shalyto，A.：场景和时间属性的精确有限状态机识别。CoRR，abs\/1601.06945（2016）“，”doi“：”10.1007\/s10009-016-0442-1“}”，{“key”：“18_CR47”，“series-title”：“计算机科学讲义”，“doi-assert-by”：“”publisher“，”first page“：”611“，”DOI“：”10.1007\/978-3-319-15579-1_48“，”volume-title“：”Language and Automata Theory and Applications“，”author“：”V Ulyantsev“，”year“：”2015“，”unstructured“：”Ulyantesev，V.，Zakirzyanov，I.，Shalyto，A.：基于BFS的对称破缺谓词用于DFA识别。收录人：Dediu，A.-H.，Formenti，E.，Mart\u00edn-Vide，C.，Truthe，B.（eds.）LATA 2015。LNCS，第8977卷，第611\u2013622页。斯普林格，海德堡（2015）。doi:10.1007\/978-3-319-15579-1_48“}，{“issue”：“2”，“key”：“18_CR48”，“doi-asserted-by”：“crossref”，“first page”：”167“，”doi“：”10.1109\/TC.1978.1675053“，”volume“：”27“，”author“：”LPJ Veelenturf“，”year“：”1978“，”unstructured“：”Veelentturf，L.P.J.：从样本计算推断序列机器。IEEE Trans.Comput.27（2），167\ u2013170（1978）“，”journal-title“：”IEEE Trans。计算。“}]，”container-title“：[”计算机科学课堂讲稿“，”FM 2016:形式方法“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-48989-6_18“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“deposed”：{”date-parts“：[2019,9,15]]，“日期时间”：“2019-09-15T05:53:40Z“，”timestamp“：156852682000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-319-48989-6_18”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2016年]}，《ISBN》：[“978331948989”，“9783398996”]，“references-count”：48，“URL”“：”http://\/dx.doi.org\/10.1007\/978-3-319-48989-6_18“，”关系“：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“type”:“print”，“value”：“0302-7743”}，{“类型”：“电子”，“值”：“1611-349”}]，“主题”：[]，“发布”：{“date-parts”：[[2016]}}}