{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,5]]，“日期-时间”：“2022-04-05T07:14:27Z”，“时间戳”：1649142867481}，“参考-计数”：26，“出版商”：“Springer Science and Business Media LLC”，“问题”：“2”，“许可证”：[{“开始”：{'日期-部件“：[[2009,12,23]]，”日期-时间“：“2009-12-23T00:00:00Z”，“timestamp”：1261526400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”理论计算系统“]，”published-print“：{”date-parts“：[[2011,2]}”，“DOI”：“10.1007\/s00224-009-9246-y”，“type”：“journal-article”，“created”：{“date-parts”：[[2009,12,22]]，“日期-时间”：“2009-12-22T15:24:46Z”，“时间戳”：1261495486000}，“页面”：“319-342”，“源”：“交叉引用”，“is-referenced-by-count”：18，“标题”：[“自然数集上方程的复杂性”]，“前缀”：“10.1007”，“卷”：“48”，“作者”：[{“给定”：“Artur”，”“家族”：“Je\u017c”，“序列”：“first”，“从属关系”：[]}，{“给定”：“亚历山大”，“family”：“Okhotin”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2009,12,23]]}，“reference”：[{“issue”：“7”，”key“：”9246_CR1“，”first page“：“7.1”，“volume”：“6”，“author”：“R.P.Brent”，“year”：“1984”，“unstructured”：“Brent，R.P.，Goldschlager，L.M.：无上下文解析的并行算法。Aust.Comput.Sci.Commun.6（7），7.1\u20137.10（1984）”，“日志标题”：“Aust.Cumput.Sci.Commun.”}，{“key”：“9246_CR2”，“series-title”：“LNCS”，“doi-asserted-by”：“crossref”，“first page”：”125“，“doi”：“10.1007\/978-3-540-74240-1_12”，“volume-title”“”：“计算理论基础”，“作者”：“H.-G.Breunig”，“年份”：“2007”，“非结构化”：“Breunig，H.-G.：正数集上电路的隶属度问题的复杂性。在：计算理论基础，FCT 2007，匈牙利布达佩斯，八月27\u2013302007。LNCS，第\u00a04639卷，第\u 00a0125\u 2013136页。Springer，Berlin（2007）“}，{”issue“：“2”，”key“：“9246_CR3”，”doi-asserted-by“：”crossref“，”first page“：”280“，“doi”：“10.1006\/jcss.1998.1615”，“volume”：“58”，“author”：“J.-Y.Cai”，“year”：“1999”，“unstructured”：“Cai，J.-Y.，Sivakumar，D.：P的稀疏硬集：Hartmanis猜想的解析。J.\u00a0Comput.Syst。科学58（2），280\u2013296（1999）“，”journal-title“：”J.\u00a0Comput。系统。科学。“}，{”issue“：”1“，”key“：”9246_CR4“，”doi-asserted-by“：”crossref“，”first page“：“114”，“doi”：“10.1145\/322234.32243”，“volume”：“28”，“author”：“A.K.Chandra”，“year”：“1981”，“unstructured”：“Chandra，A.K.，Kozen，D.C.，Stockmeyer，L.J.：Alternation.J.ACM 28（1），114\u2013133（1981）”，“journal-title”：“J.ACM}”，{“key”：“9246_CR5”，“doi-asserted-by”：“crossref”，“第一页“：”350“，”DOI“：”10.1145\/32127.321132“，”volume“：”9“，”author“：”S.Ginsburg“，”year“：”1962“，“unstructured”：“Ginsbug，S.，Rice，H.G.：与ALGOL相关的两个语系。J.ACM，9，350\u2013371（1962）“，”journal-title“：”J.ACM}，{“key”：“9246_CR6”，“series-title”：“LNCS”，“首页”：“127”，“卷标”：“俄罗斯的计算机科学”，“作者”：“C.Gla\u00dfer”，“年份”：“2007”，“非结构化”：“Gla\u00dfer，C.，Herr，K.，Reitwee_u00dfner，C.，Travers，S.D.，Waldherr，M.：自然数集上电路的等价问题。收录：《俄罗斯计算机科学》，CSR 2007，俄罗斯叶卡捷琳堡，2013年9月3日，2007年。LNCS，卷\u00a04649，第127\u2013138页。施普林格，柏林（2007）。“}，{”issue“：”1“，”key“：”9246_CR7“，”doi-asserted-by“：”crossref“，”first-page“：”21“，”doi“：”10.1016\/S0019-9958（83）80022-9“，“volume”：“57”，“author”：“D.T.Huynh”，“year”：“1983”，“unstructured”：“Huynh，D.T.：交换语法：统一单词问题的复杂性。Inf.Control 57（1），21\u201339（1983）”，“journal-title”：“Inf.控件”}，{“问题”：“3”，“key“：”9246_CR8“，”doi-asserted-by“：”crossref“，”first-page“：”597“，”doi“：”10.1142\/S012905410800584X“，”volume“：“19”，”author“：”A.Je\u017c“，”year“：”2008“，”unstructured“：”Je\u07c，A.：连接文法可以生成非正则一元语言。发现的国际期刊。计算。科学。19（3），597\u2013615（2008）“，“期刊标题”：“国际期刊发现。计算。科学。“}，{”issue“：”1“，”key“：”9246_CR9“，”doi-asserted-by“：”crossref“，”first-page“：”27“，”doi“：”10.1007\/s00224-008-9139-5“，”volume“：“46”，”author“：”A.Je\u017c“，”year“：”2010“，”unstructured“：”Je\u07c，A.，Okhotin，A.：一元字母表上的连接文法：不可判定性和无限增长。理论计算系统46（1），27\u201358（2010）“，”journal-title“：”理论计算。系统。“}，{”issue“：”1“，”key“：”9246_CR10“，”doi-asserted-by“：”crossref“，”first-pages“：”105“，”doi“：”10.1016\/0304-3975（76）90068-2“，”volume“：“3”，”author“：”N.D.Jones“，”year“：”1976“，”unstructured“：”Jones，N.D.，Laaser，W.T.：确定性多项式时间的完整问题。Theor.Comput.Sci.3（1），105\u2013117（1976）“，”journal-title“：”理论计算科学“}，{“issue”：“4”，“key”：“9246_CR11”，“doi-asserted-by”：“crossref”，“first page”：”521“，“doi”：“10.1007\/s00224-006-1321-z”，“volume”：：“40”，“author”：“M.Kunc”，“year”：“2007”，“unstructured”：“Kunc，M.：用有限单词集进行交换的能力。Theory Comput.Syst.40（4），521\u2013551（2007）”，“journal-title”：“Theory Comput.Systs”t.“}，{”键“：”9246_CR12“，“series-title”：“LNCS”，“doi-asserted-by”：“crossref”，“first page”：“23”，“doi”：“10.1007\/978-3-540-73208-2_3”，“volume-title”：《语言理论的发展》，“author”：“M.Kunc”，“year”：“2007”，“unstructured”：“Kunc，M.：我们对语言方程了解多少？in:《语言理论发展》，DLT 2007，芬兰图尔库，2007年7月3日\u20136，2007。LNCS，第u00a04588卷，第23\u201327页。施普林格，柏林（2007）“}，{“问题”：“5”，“密钥”：“9246_CR13”，“doi断言者”：“crossref”，“第一页”：“1210”，“doi”：“10.1137\/S09753974445950”，“卷”：“35”，“作者”：“M.Lohrey”，“年份”：“2006”，“非结构化”：“Lohrey，M.：压缩词上的单词问题和成员问题。SIAM J.Comput.35（5），1210\u20131240（2006）”，“期刊标题”：“M·J。计算。“}，{”issue“：”1“，”key“：”9246_CR14“，”doi-asserted-by“：”crossref“，”first-page“：”3“，”doi“：”10.1016\/j.ipl.2004.01.002“，”volume“：“90”，”author“：”N.Markey“，”year“：”2004“，”unstructured“：”Markey，N.，Schnoebelen，Ph.：SLP压缩词的PTIME完全匹配问题。Inf.Process.Lett.90（1），3\u20136（2004）“，“journal-title”：“信息。过程。莱特。“}，{”issue“：”3“，”key“：”9246_CR15“，”doi-asserted-by“：”crossref“，”first-page“：”211“，“doi”：“10.1007”，“volume”：“16”，“author”：“P.McKenzie”，“year”：“2007”，“unstructured”：“McKenjie，P.，Wagner，K.：自然数集上电路成员问题的复杂性。Computer.Complex.16（3），211\u2013244（2007）”，“”journal-title“：”计算。复杂。“}，{”key“：”9246_CR16“，”unstructured“：”Ogihara，M.：“P的稀疏硬集产生空效算法。Chic.J.Theor.Compute.Sci.（1996），article \u00a02“}”，{“issue”：“4”，“key”：“9246_CR17”，“first page”：”519“，”volume“：“6”，“author”：“A.Okhotin”，“year”：“2001”，“unstructure”：“Okhotin.，A.：”Conjunctive grammars。J.Autom.Lang.Comb第6（4）条，519\u2013535（2001）“，“新闻标题”：“J.Autom。语言梳。“}，{”key“：”9246_CR18“，”doi-asserted-by“：”crossref“，”first page“：“365”，”doi“：”10.1016\/S0304-3975（02）00853-8“，“volume”：“302”，“author”：“A.Okhotin”，“year”：“2003”，“unstructured”：“Okhotain，A.：任意连接文法的识别和解析算法。Theor.Comput.Sci.302，365\u2013399（2003）”，“journal-title”：“Theor.Cumput.”.科学“}，{”issue“：”5“，”key“：”9246_CR19“，”doi-asserted-by“：”crossref“，”first-pages“：”247“，”doi“：”10.1016\/S0020-0190（02）00511-2“，”volume“：“86”，”author“：”A.Okhotin“，”year“：”2003“，”unstructured“：”Okhoti，A.：最难的线性连接语言。信息处理。莱特。86（5），247\u2013253（2003）“，“日记标题”：“信息处理。莱特。“｝，｛”issue“：”3“，”key“：”9246_CR20“，”doi断言“：”crossref“，”first page“：”283“，”doi“：”10.1016\/j.tcs.2005.07.038“，”volume“：”349“，”author“：”A.Okhotin“，”year“：”2005“，”nonstructured“：”Okhotin，A.：未解决的语言方程系统：表达能力和决策问题。Theor.Comput.Sci.349（3），283\u2013308（2005）“，”期刊标题“：”西奥。计算。科学。“}，{”key“：”9246_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”Okhotin，A.：“语言方程的决策问题。J.Compute.Syst.Sci.76（2010），to appear“，“doi”：“10.1016\/J.jcss.2009.08.002”}，“key”：“9246_CR2”，“doi-assert-by”：“crossreff”，“first page”：”262“，”doi“：”10.1007\/978-3642-60207-8_23“，”volume-title“：“珠宝是永恒的”，“作者“：”W.Plandowski“，”year“：”1999“，”unstructured“：”Plandowski-W.，Rytter，W.：压缩词语言识别问题的复杂性。收录于：Karhum\u00e4ki，J.、Maurer，H.A.、P\u0103un，G.、Rozenberg，G..（编辑）《永远的珠宝》，第262_u2013272页。Springer，Berlin（1999）“}，{”key“：”9246_CR23“，”series-title“：”LNCS“，”first page“：“315”，”volume-title“：“计算理论基础”，”author“：”W.Rytter“，”year“：”1985“，”unstructured“：”Rytter，W.：关于无语境语言的识别。收录于：《计算理论基础》，FCT 1985，科特布斯，德国。LNCS，第00a0208卷，第315\u2013322页。Springer，Berlin（1985）“}，{“key”：“9246_CR24”，“unstructured”：“Stockmeyer，L.J.，Meyer，A.R.：需要指数时间的单词问题。摘自：第五届美国计算机学会计算理论研讨会，STOC 1973，美国奥斯汀，2013年4月30日至1973年5月2日，pp.1\u20139（1973）”}，}“issue”：“1\u2013”，“key“9246-CR25”，“doi-asserted-by”：“crossref”，“first page”：DOI“：”10.1016\/j.tcs.2006.08.017“，”volume“：”369“，”author“：”S.D.Travers“，”year“：”2006“，”unstructured“：”Travers，S.D.：整数集上电路隶属度问题的复杂性。西奥。计算。科学。369（1\u20133），211\u2013229（2006）“，“新闻标题”：“Theor。计算。科学。“}，{”issue“：”2“，”key“：”9246_CR26“，”doi-asserted-by“：”crossref“，”first-page“：”288“，”doi“：”10.1006\/jcss.2001.1768“，“volume”：“63”，“author”：“K.Yang”，“year”：“2001”，“unstructured”：“Yang，K.：整数电路评估是PSPACE-complete.J.Compute.Syst.Sci.63（2），288\u2013303（2001）”，“journal-title”：“J.Compute”系统科学“}]，“容器-标签”：[“计算系统理论“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/s00224-009-9246-y.pdf“，”content-type“：“application\/pdf”，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“http://\-link.sprinter.com/article\/10.10007\/s00224-009-9245-y\/full text.html“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s00224-009-9246-y”，“content-types”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,5,24]]，“date-time”：“2019-05 24T18:13:41Z“，”timestamp“：1558721621000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/s00224-009-9246-y”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{date-parts“：[[2009,12,23]]}，‘references-count’：26，‘journal-issue’：{‘issue’：“2”，‘published-print’：{'date-parts:[[2011,2]}}，“alternative-id”：[“9246”]，“URL”：“http:\/\/dx.doi.org\/10.1007\/s00224-009-9246-y“，”关系“：{}，”ISSN“：[”1432-4350“，”1433-0490“]，”ISSN-type“：[{”值“：”1432-4300“，”类型“：”打印“}，{”value“：”433-0490