{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,4,7]]，“日期-时间”：“2024-04-07T02:52:20Z”，“时间戳”：1712458340889}，“参考-计数”：14，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{“日期-零件”：[[1986,1]]，”“日期-时刻”：“1986-01-01T00:00:00 0Z“，”时间戳“：504921600000}，”内容版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：10059，“URL“https:\\/www.elssevier.com/open-access\/user”许可证\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学”]，“published-print”：{“date-parts”：[[1986]]}，”DOI“：”10.1016\/0304-3975（86）90088-5“，”type“：”journal-article“，”created“：{”date-part“：[[2003,4,25]]，”date-time“：”2003-04-25T10:09:04Z“，”timestamp“：1051265344000}”，“page”：“117-126”，“source”：“交叉参考”，“is-referenced-by-count”：165，“title”：[“From regular expressions to deterministic automata”]，“prefix”：“10.1016”，“volume”：“48”，“author”：[{“给定”：“Gerard”，“family”：“Berry”，“sequence”：“first”，“affiliation”：[]}，{“give”：“Ravi”，“家族”：“Sethi”，“序列”：“additional”，“从属关系”：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/0304-3975（86）90088-5_BIB1“，”series-title“：“形式语言理论”，”first page“：”325“，”article-title“：”字符串中的模式匹配“，”author“：”Aho“，”year“：”1980“}，{“key”：“10.1016\/0304-3975（86）90088-5_ IB3“，”series-title“：”Concurrency研讨会”，“article-title”：“Esterel同步编程语言及其数学语义”，“volume”：“197”，“author”：“Berry”，“year”：“1985”}，{“key”：”10.1016\/0304-3975（86）90088-5_BIB4“，”author“：”Berry“，”year“：”1986：“45”，“DOI“：”10.1145\/563905.810898“，”article-title“：”通信协议和错误恢复程序“，”volume“：”9“，”author“：”Bochmann“，”year“：”1975“，”journal-title”：“ACM操作系统评论”}，{“issue”：“4”，“key”：“10.1016\/0304-3975（86）90088-5_BIB6”，“DOI-asserted-by”：“crossref”，“first page”：”481“，“DOI”：“101145\/321239.321249”，“文章标题”：“正则表达式的派生词“，”volume“：”11“，”author“：”Brzozowski“，”year“：”1964“，”journal-title“：”J.ACM“}，{“key”：“10.1016\/0304-3975（86）90088-5_BIB7”，“article-title”：“计算机上的自然语义”，“author”：“Clement”，“year”：“1985”}，“key“：。卡恩，个人通信，1986年2月。“}，{”问题“：“8”，”关键“：“10.1016\/0304-3975（86）90088-5_BIB9”，”doi-asserted-by“：”交叉引用“，”首页“：”730“，”doi“：”10.1109\/TC.1982.1676079“，”文章标题“：”协议验证理论“，”卷“C-31”，“作者”：“Holzmann”，“年份”：“1982”，“期刊标题”：“IEEE Trans.Compute”}，{“密钥”：“10.1016\/0304-3975（86）90088-5_BIB10“，“series-title”：“第五届菲尼克斯计算机通信大会”，“首页”：“286”，“article-title”：“S\/R:指定协议和其他协调过程的语言”，“author”：“Katzenelson”，“year”：“1986”}，{“issue”：“1”，“key”：”10.1016\/0304-2975（86自动机的正则表达式和状态图”，“卷”：“EC-9”，“作者”：“McNauthton”，“年份”：“1960”，“期刊标题”：“IRE Trans。电子计算。“}，{”key“：”10.1016\/0304-3975（86）90088-5_BIB12“，”doi-asserted-by“：”crossref“，”first page“：“439”，“doi”：“10.1016\/0022-0000（84）90023-0”，“article-title”：“一类规则行为的完整推理系统”，“volume”：“28”，“author”：“Milner”，“year”：“1984”，“journal-title“：”J.Compute.system Sci.“}”，{“issue”：“2”，“密钥”：“10.1016\/0304-3975（86）90088-5_BIB13“，”doi-asserted-by“：”crossref“，”first page“：”114“，“doi”：“10.1147\/rd.32.0114”，“article-title”：“有限自动机及其决策问题”，“volume”：“3”，“author”：“Rabin”，”year“：”1959“，”journal-title“：”IBM J.Res.Develop。“}，{”issue“：”6“，”key“：”10.1016\/0304-3975（86）90088-5_BIB14“，”doi-asserted-by“：”crossref“，”first-page“：”419“，”doi“：”101145\/363347.363387“，”article-title“：”正则表达式搜索算法“，”volume“：“11，“原始标题”：[]，“语言“：”en“，”link“：[｛”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:00304397586900885？httpAccept=text\/xml“，”内容类型“：”text\/xml“，”内容版本“：”vor“，”预期应用程序“：”文本挖掘“｝，｛”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:00304397586900885？httpAccept=text\/plain“，”内容类型“：”text\/plain“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposed“：{”date-parts“：[[2019,3,21]]，”date-time“：”2019-03-21T20:53:57Z“，”timestamp“：1553201637000}，”score“：1，”resource“：[]，“已发布”：{“日期-部分”：[[1986]]}，“references-count“：14，”alternative-id“：[”0304397586900885“]，”URL“：”http://\/dx.doi.org\/101016\/0304-3975（86）90088-5“，”关系“：{}，”ISSN“：[“0304-3975”]，”ISSN-type“：[{”value“：”0304-397“，”type“:”print“}]，”主题“：[]，”发布“：{”date-parts“：[[1986]]}}}}