{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T01:32:55Z”，“时间戳”：1725672775118}，“引用计数”：7，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[1977,9]]}，“DOI”：“10.1109\/sfcs.1977.35”，“type”：“procesedings-article”，“created”：{“date-parts”：[[2008,7,31]]，“date-time”：“2008-07-31T11:45:51Z”，“timestamp”：1217504751000}，“page”：”74-81“，“source”：《Crossref》，“is-referenced-by-count”：3，“title”：[“具有一元输入（输出）字母表和应用程序的电子自由NGSM等价问题的不可解性”]，“prefix”：“10.1109”，“author”：[{“given”：“Oscar H”，“family”：“Ibarra”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[[{”key“：”ref4“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/321466.321473“}，{”journal-title“：”The Mathematical Theory of Contexter-Free Languages“，”year“：”1966“，”author“：”ginsburg“，”key：“ref3”}，{“新闻标题”：“计算机械协会杂志”，“article-title”：“可逆多计数器机器及其决策问题”，“年份”：“0”，“作者”：“ibarra”，“key”：“ref6”}，{“Journal-title“：“形式语言及其与自动机的关系”，“年”：“1969”，“author”：“hopcroft”，“键”：“ref5”}：“10.1147\/rd.32.0114”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0022-0000（73）80002-9”}.，{”key“：”ref1“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/S0022-000（73）800 45-5“}]，“event”：{“name”：“第十八届计算机科学基础年会（sfcs 1977）”，“start”：{-“date-parts”：[[1977,10,31]]}，“位置”：“普罗维登斯，RI，美国”，“end”：{“date-parts”：[[1977,11,2]]}}，“container-title”：[“第十八届计算机科学基础年会（sfcs 1977）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/4567914\/4567815\/04567927.pdf？arnumber=4567927”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部分”：[[2017,3,16]]，“日期-时间”：“2017-03-16T10:59:40Z”，“时间戳”：1489661980000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/ieeexplore.iee.org\/document\/4567927\/”}}，”副标题“[]，”短标题“：[]，“已发布”：{'日期-部分“：[[1977,9]]}，“：7，”URL“：”http://\/dx.doi.org\/10.109\/sfcs.1977.35“，”关系“：{}，“主题”：[]，“发布”：{“日期部分”：[[1977,9]]}}