{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,4,6]]，“日期-时间”：“2024-04-06T17:16:48Z”，“时间戳”：17124238088686}，“参考-计数”：15，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{-date-parts“[2015,1,1]]，”日期-时间“：”2015-01T00:00:00Z“，”timestamp“：1420070400000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2019,1,11]]，“date-time”：“2019-01-11T00:00:00Z”，“timestamp”：1547164800000}，“content-version”：“vor”，“delay-in-days”：1471，“URL”：“http://\/www.elsevier.com\/open-access\/userlicense\/1.0\/“}]，”content-domain“：{”域“：[”elsevier.com“，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“理论计算机科学”]，”published-print“：{“date-parts”：[[2015,1]]}，”DOI“：”10.1016\/j.tcs.2014.10.030“，”type“：”journal-article“，”created“：{“date-ports”：[2014,10,27]]，”date-time“：”2014-10-27T17:55:06Z“，”timestamp“：1414432506000}，：“476-495”，“更新策略”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy”，“source”：“Crossref”，”is-referenced-by-count“：9，”title“：[”关于N<\/mml:mi>k，前缀：“10.1016”，“卷”：“562”，“作者”：[{“给定”：“Flavio”，“家族”：“D'Alessandro”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“Benedetto”，“家庭”：“Intrigila”，“sequence”：“additional”，“affiliation”：“[]}]，“成员”：“78“，”reference“：[{”key“：”10.1016\/j.tcs.2014.10.030_br0010“，”series-title“：”程序。第十届意大利理论计算机科学会议”，“第一页”：“175”，“文章标题”：“弱Presburger算术中的可定义集”，“作者”：“Choffrut”，“年份”：“2007”}，{“密钥”：“10.1016\/j.tcs.2014.10.030_br0020”，“第一页”：“21”，“文章标题”：“决定在Presburger公式中是否需要排序”，“卷”：“12”，“作者”：“Choffrut”，“年份”：“2010年”，“新闻标题”：“离散数学”。西奥。计算。科学。“}，{”key“：”10.1016\/j.tcs.2014.10.030_br0030“，”doi-asserted-by“：”crossref“，”first page“：“104”，“doi”：“10.1016\/j.tcs.2006.01.037”，“article-title”：“On the structure of the counting function of context-free languages”，“volume”：“356”，“author”：“D'Alessandro”，“year”：“2006”，“journal title”：”Theoret.Compute.Sci.“}”，{“key”：“”10.1016\/j.tcs.2014.10.030_br0040“，”doi-asserted-by“：”crossref“，”first page“：”5158“，”doi“：”10.1016\\j.tcs.2009.09.006“，”article-title“：”稀疏无上下文语言的Parikh计数函数是准多项式“，”volume“：“410”，”author“：”D'Alessandro“，”year“：”2009“，”journal-title”：“Theoret”。计算。科学。“}，{”key“：”10.1016\/j.tcs.2014.10.030_br0050“，”series-title“：”单词和形式语言国际会议“，”首页“：”1“，”article-title“：“有界无上下文语言和正则语言的交换等价”，“author”：“D'Alessandro”，“year”：“2011”}，“key”：“10.1016\/j.tc.2014.10.030_br0060”，“doi-asserted-by”：“crossref”，“第一页“：”1“，”DOI“：”10.1016\/j.tcs.2011.10.014“，”article-title“：”拟多项式、半线性集和线性丢番图方程“，”volume“：”416“，”author“：”D'Alessandro“，”year“：”2012“，”journal-title”：“Theoret。计算。科学。“}，{”key“：”10.1016\/j.tcs.2014.10.030_br0070“，”doi-asserted-by“：”crossref“，”first page“：“304”，“doi”：“10.1016\/j.tcs.2014.10.005”，“article-title”：“关于有界无上下文语言和正则语言的交换等价：代码用例”，“volume”：“562”，“author”：“D'Alessandro”，“year”：“2015”，“journal-title“：”Theoret.Compute.Sci.“}”，{“密钥”：“10.1016\/j.tcs.2014.10.030_br0080”，“文章标题”：“关于有界上下文无关语言和正则语言的交换等价：半线性情况”，“作者”：“D’Alessandro”，“年份”：“2015”，“期刊标题”：“定理。计算。科学。“}，{”key“：”10.1016\/j.tcs.2014.10.030_br0090“，”series-title“：”Teoria degli Automi Finiti“，”author“：”de Luca“，”year“：”2013“}”，{“key”：“10.1016\/j.tc.2014.10.030_br0100”，“doi-asserted-by”：“crossref”，“首页”：“173”，”doi“：”101016\/0021-8693（69）90070-2“，”article-title“：“Rational交换幺半群中的集合“，“volume”：“13”，“author”：“Eilenberg”，“年份“：”1969“，”期刊标题“：”J.Algebra“}，{“key”：“10.1016\/J.tcs.2014.10.030_br0110”，“series-title”：“Automata，Languages and Machines”，“volume”：”vol.A“，”author“：”Eilenberg“，”year“：”1974“}”，{”key“：”10.1016\\J.tcs.2014.10.030_br0120“，”doi-asserted-by“，”：“crossrref”，“first page”“：”285“，”doi“：”10.21 40\/pjm.1966.16.285“，”文章标题“：”半群，普雷斯伯格公式和语言”，“卷”：“16”，“作者”：“金斯堡”，“年份”：“1966”，“新闻标题”：“太平洋数学杂志”。“}，{”key“：”10.1016\/j.tcs.2014.10.030_br0130“，”series-title“：”上下文无关语言的数学理论“，”author“：”Ginsburg“，”year“：”1966“}”，{“key”：“10.1016\\j.tcs.2014.10.030_br 0140”，“series-ttle”：“具体数学：计算机科学的基础”，“author”：“Graham”，“year”：“1989”}，”{“密钥”：“1016\/j.tcs.2014年10月30 _br0150“，”doi-asserted-by“：”crossref“，”first page“：”295“，”doi“：”10.1016\/S0022-0000（69）80014-0“，“article-title”：“每个半线性集都是不相交线性集的有限并”，“volume”：“3”，“author”：“Ito”，“year”：“1969”，“journal-title“：”J.Compute。系统科学。“}]，”container-title“：[”Theoryal Computer Science“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0304397514008226？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/api.elsevier.com\/content\/article\/PII:S03044397514008226？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,1,11]]，“date-time”：“2019-01-11T01:17:02Z”，“timestamp”：1547169422000}，“score”：1，“resource”：{primary“：{”URL“https:\\/linkinghub.elsevier.com//retrieve\/pii\/S03043939 7514008226“}}，”副标题“：[]，”短标题“：[]，”发布“：{“date-parts”：[[2015,1]]}，“references-count”：15，“alternative-id”：[“S0304397514008226”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.tcs.2014.10.030”，“relation”：{}，”ISSN“：[”0304-3975“]，”ISSN-type“：[{”value“：”0304-975“，”type“:”print“}]，“subject”：[]，“published”：{“date-parts”：[[2015,1]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher“，”label“：”本文由“}，”{“value”：“On the communicate equivalence of semi-linear set of”，“name”：“articletite”，“label”：“article Title”}，{“value”：“Theory Computer Science”，“name”：“journaltitle”，“标签”：“Journal Title“}”，{”value“：”https:\\/doi.org\/101016\/j.tcs.2014.10.030“，”name“：”articlelink“，“lable”：“”CrossRef DOI链接到出版商维护的版本“}，{“value”：“article”，“name”：“content_type”，“label”：“content-type”}，}“value:”Copyright\u00a9 2014 Elsevier B.V.保留所有权利。“，”name“：”Copyright“，”label“：”Copyrity“}]}