{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,5]]，“日期-时间”：“2024-07-05T17:38:47Z”，“时间戳”：1720201127216}，“引用-计数”：15，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{“日期-零件”：[[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）90170-2“，”type“：”journal-article“，”created“：{”date-part“：[[2003,5,13]]，”date-time“：”2003-05-13T04:58Z“，”timestamp“：1052798000}”，“page”：“107-115”，“source”：“交叉参考”，“is-referenced-by-count”：8，“special_numbering”：“C”，“title”：[“Alternation and \u03c9-type Turing acceptors”]，“prefix”：“10.1016”，“volume”：“43”，“author”：[{“given”：”Peter A.“，“family”：“Lindsay”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/0304-3975（86）90170-2_bib1”，“series-title”：“Proc.Internat.Congr.Logic，Methodology and Philosophy of Science”，“first page”：“1”，“article-title”：“On a decision problem in restricted二阶算术”，“author”：“B\u00fcchi”，“year”：“1962”}，{“key”：”10.1016\/0304-3975（86）90170-2_bib2“，”doi-asserted-by“：”crossref“，“first-page”：“114”，”doi“10.1145\/322234.32243”，“article-title”：“Alternation”，“volume”：“28”，“author”：“Chandra”，“year”：“1981”，“journal-title”：“J.Assoc.Comput.Mach.”}，{“key”：《10.1016\/0304-3975（86）90170-2_bib3》，“doi-asserted-by”：“crossref”，“first-page”：“249”，“doi”：“10.1016\/0304-975（80）90049-3”，“article-title“On the complexity of \u03c9-type Turing acceptors”，“卷：“10”，“作者”：“科恩”，“年份”：“1980”，“journal-title”：“Theoret.Compute.Sci.”}，{“issue”：“2”，“key”：“10.1016\/0304-3975（86）90170-2_bib4”，“first-page”：“137”，“article-title“：“Alternation and the Ackermann case of the decision problem”，“volume”：”27“，”author“：”F\u00fcrer“，”year“：”1981“，”journal-title“:”Enseign.Math.“}，”{“key“：”10.1016\/0304-975（86）90170-2_bib5“，”系列标签“：“对博弈论的贡献”，“首页”：“245”，“article-title”：“具有完美信息的无限博弈”，“卷”：“28”，“作者”：“Gale”，“年份”：“1953”}，{“键”：“10.1016\/0304-3975（86：“强调逻辑理论复杂性的复杂性理论”，“作者”：“Ladner”，“年份”：“1980”}，{“关键”：“10.1016\/0304-3975（86）90170-2_bib7”，“doi-asserted-by”：“crossref”，“首页”：“376”，“doi”：“101007\/BF01691063”，“文章标题”：“u03c9-automata的决策问题”，“卷”：“3”，“”：“数学系统理论”}，{“key”：“10.1016\/0304-3975（86）90170-2_bib8”，“unstructured”：“P.A.Lindsay，Alternating\u03c9-automata，to present.”}、{“密钥”：“101016\/0304-3975（86）9170-2_bip9”，“doi-asserted-by”：“crossref”，“first-page”：“363”，“doi”：“10.2307\/1971035”，“article-title”：“Borel determinance”，“volume”：”102，“作者”：“马丁”，“年份”：“1975”，“journal-title”：“数学年鉴”}，{“key”：“10.1016\/0304-3975（86）90170-2_bib10”，“doi-asserted-by”：“crossref”，“首页”：“321”，“doi”：“101016\/0304-3975（84）90049-5”，“文章标题”：“u03c9单词上的交替有限自动机”，“卷”：“32”，“作者”：“宫野”，“年份”：“1984”，“jornal-title:”理论计算.科学“}，{”键“：”10.1016\/0304-3975（86）90170-2_bib11“，”series-title“：”AIEE程序。第四届年度交响乐团。关于切换理论和逻辑设计”，“第一页”：“3”，“文章标题”：“无限序列和有限机器”，“作者”：“Muller”，“年份”：“1963”}，{“密钥”：“10.1016\/00304-3975（86）90170-2_bib12”，“第一页”：“1”，“文章标题”：“无限树上二阶理论和自动机的可判定性”，“卷”：“141”，“作者”：“Rabin”，“年份”：“1969”journal-title“：”事务处理。阿默尔。数学。Soc.“}，{“key”：“10.1016\/0304-3975（86）90170-2_bib13”，“series-title”：“数理逻辑与集合论基础”，“首页”：“1”，“文章标题”：“弱可定义关系与特殊自动机”，“作者”：“拉宾”，“年份”：“1970”}，}“密钥”：“101016\/0304-3975（86）9170-2_bip14”，“系列标题”：递归函数和有效可计算性理论》，“作者”：“Rogers”，“年份”：“1967”｝，｛“键”：“10.1016\/00304-3975（86）90170-2_bib15”，“第一页”：“532”，“文章标题”：“递归\u03c9语言”，“卷”：“56”，“作者”：“Wagner”，“年份”：“1977”｝]，“容器标题”：[“理论计算机科学”]，“原标题”：[]，“语言”：“en”，“链接”：[｛”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:0304397586901702？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586901702？httpAccept1=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-epplication”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,3,21]]，“date-time“：”2019-03-21T12:53:07Z“，”timestamp“：1553172787000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0304397586901702”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1986]]}、“references-count”：15，“alternative-id”：[“0304397586001702”]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（86）90170-2“，”关系“：{}，”ISSN“：[”0304-3975“]，”ISSN-type“：[{”值“：”0304-975“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[[1986]]}}}