{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,5]]，“日期-时间”：“2024-07-05T17:38:50Z”，“时间戳”：1720201130406}，“参考-计数”：16，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{-date-parts”：[[1986,1,1]]，《日期-时间》：“1986-01-01T00:00: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”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[1986]]}，”DOI“：”10.1016\/0304-3975（86）90183-0“，”type“：”journal-article“，”created“：{”date-part“：[[2003,5,13]]，”date-time“：”2003-05-13T04:58Z“，”timestamp“：1052798000}”，“page”：“315-335”，“source”：“Crossref”，“is-referenced-by-count”：3，“special_numbering”：“C”，“title”：[“Vari\u00e9t\u00e9’s d'automates subsidents d'arbres infinis”]，“prefix”：“10.1016”，“volume”：“43”，“author”：[{“给定”：“A.”，“family”：“Saoudi”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/0304-3975（86）90183-0 _bib1“，”doi-asserted-by“：”crossref“，”首页“：“219”，“DOI”：“10.1007\/BF01744297”，“article-title”：“非确定性递归程序的形式计算”，“volume”：“13”，“author”：“Arnold”，“year”：“1980”，“journal-title“：”数学系统论“}”，{“key”：”10.1016\/0304-3975（86）90183-0_bib2“，”DOI-asserted-by“：”crossref“，“first page”：）90010-0“，”文章标题“：“语言的坚持”，“卷”：“20”，“作者”：“Boasson”，“年份”：“1980”，“日记标题”：“J.Compute.System Sci.”}，{“键”：“10.1016\/0304-3975（86）90183-0_bib3”，“doi-asserted-by”：“crossref”，“首页”：“25”，“doi”：“101016\/0304-3975（78）90039-7”，《文章标题》：“树的语言表征”，“体积”：“7”，“作者“：”Courcelle“，”year“：“1978”，“journal-title”：“Theoret.Compute.Sci.”}，{“key”：“10.1016\/0304-3975（86）90183-0_bib4”，“doi-asserted-by”：“crossref”，“first-page:”95“，”doi“：”10.1016\/0304-375（83）90059-2“，”article-title“：”无限树的基本属性“，”volume“：”25“，”author“：”Courcelle“，”year“：”1983“，”journal-title“科学“}，{”键“：“10.1016\/0304-3975（86）90183-0_bib5”，“series-title”：“ICALP'82”，“首页”：“141”，“article-title”：“OI层次结构的自动机理论表征”，“卷”：“140”，“作者”：“Damm”，“年份”：“1982”}，{“键”：“10.116\/0304-2975（86）9183-0_bib”，“doi-asserted-by”：“crossref”，”首页“229”，“doi”：“10.1016\/0020-0190（72）90017-8”，“article-title”：“关于无限树的注释”，“volume”：“1”，“author”：“Engelfriet”，“year”：“1972”，“journal-title“：”Inform.Process.Lett.“}，{”key“：”10.1016\/0304-3975（86 83-0_bib8“，”doi-asserted-by“：”crossref“，“首页”：“237”，“DOI”：“10.1007\/BF01744582”，“article-title”：“下推树自动机”，“卷”：“16”，“作者”：“游击队员”，“年份”：“1983”，“日记标题”：“数学系统论”}，{“键”：“101016\/0304-3975（86）90183-0_bib9”，“article-title”：“无限树语言的某些类”，“作家”：“Moriya”，“年”：“1985”}、{键“：”10.1016\/0304-3975（86）90183-0_bib10“，”article-title“：”Adh\u00e9rences et centers de langage d'arbres“，”author“：”Polian“，”year“：”1981“}，{“key”：“10.1016\/0304-3975（86 016\/0304-3975（86）90183-0_bib12“，“第一页”：“1”，“文章标题”：“二阶理论和无限树自动机的可判定性”，“卷”：“141”，“作者”：“拉宾”，“年份”：“1969”，“期刊标题”：。阿默尔。数学。Soc.“}，{”key“：”10.1016\/0304-3975（86）90183-0_bib13“，”article-title“：”Fore\u02c6ts infininaires reconaissables“，”author“：”Saoudi“，”year“：”1982“}”，{“key”：“10.1016\\0304-3975（86）9183-0_bib“，”doi-asserted-by“：”crossref“，“first page”：”15“，”doi“：”101016\/20020-0190（84）90068-1“，“article-title”：“由\u03c9-automata识别的无限树语言”，“卷：“18”，“作者”：“Saoudi”，“年份”：“1984”，“新闻标题”：“通知”。流程Lett。“}，{”key“：”10.1016\/0304-3975（86）90183-0_bib15“，”series-title“：”GI'83“，”首页“：”335“，”article-title“：“无限树集合的层次结构”，“volume”：“145”，“author”：“Thomas”，“year”：“1983”}，“key”：”10.116\/0304－975（86）9183-0_bip16“，”series-title”：“Luminy Workshop\u2018Informatique Alg\u00e9brique\ u2019”，“文章标题”：“树语言的可定义性”，“作者”：“托马斯”，“年份”：“1983”}]，“容器-title”：[“理论计算机科学”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586901830？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL“：”https:\/\/api.elsevier.com/content\/article\/PII:0304397586901830？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,3,21]]，“date-time”：“2019-03-21T12:53:02Z”，“timestamp”：1553172782000}，“score”：1，“resource”：{primary“URL”：“https://linkinghub.elsevier.com/retrieve\/piii\/03043979 586901830“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1986]]}，”references-count“：16，”alternative-id“：[”0304397586901830“]，”URL“：”http://\/dx.doi.org\/10.1016\/0304-3975（86）90183-0“，”relation“：{}，“ISSN”：[“0304-3975”]，“ISSN-type”：[{“value”：“0304-975”，“type”:“print“}]，”subject“：[]，“published”：{“date-parts”：[[1986]}}