{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期段”：[[2022,3,31]]，“日期时间”：“2022-03-31T15:48:48Z”，“时间戳”：1648741728674}，“引用-计数”：14，“发布者”：“Elsevier BV”，“问题”：“3”，“许可证”：[{“开始”：{:“日期段1-01T00:00:00Z“，”时间戳“：347155200000}，“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”：11885，“URL“https:\\/www.else vier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[1981]]}，”DOI“：”10.1016\/0304-3975（81）90100-6“，”type“：”journal-article“，”created“：{”date-part“：[[2002,10,9]]，”date-time“：”2002-10-09T15:39:34Z“，”timestamp“：1034177974000}，）“page”：“291-305”，“source”：“Crossref”，“is-referenced-by-count”：7，“title”：[“带同态替换的语言”]，“prefix”：“10.1016”，“volume”：“16”，“author”：[{“给定”：“J.”，“family”：“Albert”，“sequence”：“first”，“affiliation”：[]}，{“given”：“10.1016\/0304-3975（81）90100-6_BIB1”，“doi-asserted-by”：“crossref”，“first page”：“285”，“doi”：“10.1007\/BF00264471”，“article-title”：“迭代确定性替换”，“volume”：：“8”，“author”：“Asveld”，“year”：“1977”，“journal-title“：”Acta Informat.“}，{“key”：”10.1016\/0304-3975（81）90100-6_BIB2“，”series-title“：“Proc.6th ICALP Graz”，“第一页”：“”171“，”文章标题“：“两级语法：CF-grammars with equation schemes”，“volume”：“71”，“author”：“Dembinski”，“year”：“1979”}，{“key”：”10.1016\/0304-3975（81）90100-6_BIB3“，”doi-asserted-by“：”crossref“，“first-pages”：“325”，“doi”：“10.1016\/0304-975（76）90076-1”，“article-title”：“ETOL和EDTOL语言之间的关系”hrenfeucht“，”年份“：“1976”，“journal-title”：“Theoret.Compute.Sci.”}，{“key”：“10.1016\/0304-3975（81）90100-6_BIB4”，“doi-asserted-by”：“crossref”，“first-page:”328“，”doi“：”10.1016\/S0022-0000（77）80034-2“，”article-title“：”IO and OI“，”volume“：”15“author”：“Engelfriet”，“year”：“1977”，“日记标题”：“J.Compute”系统科学“}，{“问题”：“5”，“关键”：“10.1016\/0304-3975（81）90100-6_BIB5“，”doi-asserted-by“：”crossref“，”first page“：”157“，“doi”：“10.1016\/0020-0190（76）90086-7”，“article-title”：“复制定理”，“volume”：“4”，“author”：“Engelfriet”，“year”：“1976”，“journal-title“：”信息处理快报。“}，{”issue“：”4“，”key“：”10.1016\/0304-3975（81）90100-6_BIB6“，”doi-asserted-by“：”crossref“，”first page“：“289”，”doi“：”101007\/BF00978977“，”article-title“：”W-grammars“的一些限制”，“volume”：“3”，“author”：“Greibach”，“year”：“1974”，“journal-title”：“Internat.J.Computer.Information Sci.”}，”{“key”：”10.1016\/0304-3975（81）90100-6_BIB7“，“序列号”：”F-迭代语言”，“作者”：“van Leeuwen”，“年份”：“1973”}，{“issue”：“145”，“key”：“10.1016\/0304-3975（81）90100-6_BIB8_1”，《首页》：“147”，，“article-title”：“自由半群中方程的可解性问题（俄语）”，“volume”：键“：”10.1016\/0304-3975（81）90100-6_BIB8_2“，“首页”：“330”，“文章标题”：“Dokl。阿卡德。Nauk SSSR“，“卷”：“18”，“年份”：“1977”，“新闻标题”：“苏联数学”。多克。“}，{”key“：”10.1016\/0304-3975（81）90100-6_BIB9“，”series-title“：”Formal Languages“，”author“：”Salomaa“，”year“：”1973“}”，{“key”：“10.1016\/0304-2975（81 \/0304-3975（81）90100-6_BIB11“，”doi-asserted-by“：”crossref“，”第一页“：”284“，”DOI“：”10.1137\/0205022“，”article-title“：”性质平行的各种语言的分解定理“，”volume“：”5“，”author“：”Skyum“，”year“：”1976“，”journal-title”：“SIAM J.Compute。“}，{”key“：”10.1016\/0304-3975（81）90100-6_BIB12“，”series-title“：“形式语言理论的数学基础”，“author”：“Wand”，“year”：“1973”}，“key”：“10.1016\/0304-2975（81[“理论计算机科学“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:0304397581901006？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\//api.elsevier.com/content\/aarticle\/PII:0304397 581901006？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,4,9]]，“date-time”：“2019-04-09T18:24:17Z”，“timestamp”：1554834257000}，“score”：1，“resource”：{primary“：{”URL“https://linkinghub.elsevier.com\/retrieve\/pii\/030433 97581901006“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1981]]}，”references-count“：14，”journal-issue“：{“issue”：“3”，“published-print”：{“date-parts”：[[1818]}}，“alternative-id”：[“0304397581901006”]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（81）90100-6”，“relation”：{}，5“]，”ISSN-type“：[{”value“：”0304-3975“，”type“:”print“}]，”subject“：[]，“发布了“：{“date-parts”：[[1981]}}}