{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,1]]，“日期-时间”：“2022-04-01T10:53:11Z”，“时间戳”：1648810391244}，“引用-计数”：12，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始时间”：{'日期-部件“：[[1986,1,1]]:00Z“，”timestamp“：504921600000}，”content-version“：“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）90095-2“，”type“：”journal-article“，”created“：{”date-part“：[[2003,4,25]]，”date-time“：”2003-04-25T10:09:04Z“，”timestamp“：1051265344000}”，“page”：“201-228”，“source”：“交叉参考”，“is-referenced-by-count”：5，“title”：[“关于右边界语法和下推自动机中内存的主动和充分使用”]，“前缀”：“10.1016”，“卷”：“48”，“作者”：[{“给定”：“A.”，“家族”：“Ehrenfeucht”，“序列”：“第一”，“从属”：[]}，{“已知”：“H.J.”，“家庭”：“Hoogeboom”，“顺序”：“附加”，“附属”：[]}，，“家庭”：“Rozenberg”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/0304-3975（86）90095-2_BIB1”，“doi-asserted-by”：“crossref”，”first page“：”91“，”doi“：”10.1007\/BF01969548“，”article-title“：”Regular canonical systems“，”volume“：“6”，”author“：”Buchi“，”year“：”1964“，”journal title“：“Arch.Math.Logik-Grundlag.”}，{“key”：“10.1016\/0304-3975（86）90095-2_BIB2”，“series-title”：“正则代数与有限机器”，“author”：“Conway”，”year“：”1971“}，{“key”：“10.106\/0304-2975（86）90005-2_BIB3”，《article-title》：“关于正则正则正则系统的注记”，“author”:“Ehrenfeucht”，“year”：“1984”}，“key“：”10.1016\/0304-975（26）90095-2-_BIB4“，”first页面“：”455“，”文章标题“：“协调对系统中的计算”，“volume”：“IX”，“author”：“Ehrenfeucht”，“year”：“1986”，“journal-title”：“Fund.Inform.”}，{“key”：”10.1016\/0304-3975（86）90095-2_BIB5“，”doi-asserted-by“：”crossref“，”first-page:“405”，“doi”：“10.1051\/ita\/1986200404051”，“article-title“：”协调对系统；第1部分：Dyck词和经典泵送“，“卷”：“20”，“author”：“Ehrenfeucht”，“year”：“1986”，“journal title”：“RAIRO Inform.Th\u00e9or.”}，｛“key”：“10.1016/0304-3975（86）90095-2_BIB6”，“article title”：“关于在右边界语法和下推自动机中积极使用内存”，“author”：“Ehrenfeucht”，“year”：“1985”｝，｛“key”：“10.1016/0304-3975（86）90095-2_BIB7”，doi断言为“：”cross参考“，“文章标题”：“关于右边界语法和下推自动机中记忆的充分利用”，“作者”：“Ehrenfeucht”，“年份”：“1985”，“DOI”：“10.1016/0304-3975（86）90095-2”}，{“键”：“10.1016/0304-3975（86）90095-2_BIB8”，“系列标题”：“形式语言理论.视角和开放问题”，“文章标题”：“形式语言及其与自动机的关系：霍普克罗夫特和乌尔曼没有告诉我们什么”，“作者”：“戈尔茨坦”，“年份”：“1980”}，{“关键”：“10.1016\/0304-3975（86）90095-2_BIB9”，“系列-标题”：“形式语言学导论”，“作家”：“哈里森”，“年”：“1978”}、{“键”：“1016\/030-3975（26）90095-2-BIB10”，“doi-asserted-by”：“crossref”，“首页”：“31”，“DOI”：“10.1016\/0304-3975（85）90086-6”，“article-title”：“关于协同选择替换：走向语法和机器的统一理论”，“volume”：“37”，“author”：“Rozenberg”，“year”：“1985”，“journal-title“：”Theoret.Compute.Sci.“}，{“key”：”10.1016\/0304-2975（86）90095-2_BIB11“，”series-title“：“Automata理论”，”author“：”Salomaa“，“年份”：“1969”}，{“key”：“10.1016\/0304-3975（86）90095-2_BIB12”，“series-title”：“Formal Languages”，“author”：“Salomaa”，“year”：“1973”}]，“container-title”：[“Theory Computer Science”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586900952？httpAccept=text\/xml“，”content-type“：”text\/xml“，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586900952？httpAccept=text\/plain”，“content-type”：“text\/plaine”，“content-version“：”vor“，”intended-application“：”text-miniing“}”，“deposed”：{“date-parts”：[2019,3,21]]，“date-time”：”2019-03-21T2 0:53:54Z“，”时间戳“：1553201634000}，“score”：1，“resource”：{“primary”:{“URL”：“https:\\/linkinghub.elsevier.com/retrieve\/pii\/0304397586900952”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1986]]}，‘references-count’：12，”alternative-id“：[”030439758690952“]，”URL“：”http://dx.doi.org 10.1016\/0304-3975（86）90095-2“，”关系“：{}，”ISSN“：[”0304-3975“]，“issn类型”：[{“值”：“0304-3975”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[1986]]}}