{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,7]]，“日期-时间”：“2024-03-07T12:02:09Z”，“时间戳”：1709812929695}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：0，“发布商”：“ACM出版社”，“内容-域”：[]，“交叉标记-限制”：false}，“短集装箱”：[]，“published-print”：{“date-parts”：[[1979]]}，“DOI”：“10.1145\/800135.804429”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2003.11,25]]，“date-time”：“2003-11-25T16:40:52Z”，“timestamp”：1069778452000}，”source“Crossref”，“is-referenced-by-count”：21，“title”：[“扫描自动机大小的下限”]，“前缀“：”10.1145“，”作者“：[{”给定“：“Michael”，“family”：“Sipser”，“sequence”：“first”，“affiliation”：[]}]，“member”：“320”，“event”：{“name”：“第十一届ACM年会”，“location”：“美国佐治亚州亚特兰大”，“缩写词”：“STOC'79”，“赞助商”：[“ACM，计算机协会”，“SIGACT，ACM算法和计算理论特别兴趣小组”]，“start”：{“date-parts”：[[1979,4,30]]}，“end”：{“date-parts”：[[1799,5,2]}}，”container-title“：[“第十一届ACM计算理论研讨会论文集-STOC’79”]，“original-title”：[]，“link”：[{“URL”：“http://\dl.ACM.org\/ft_gateway.cfm？id=804429&ftid=53638&dwn=1”，“content-type”：“unspecified”，“content-version”：“vor”，“预期应用”：“相似性检查”}]，“存放”：{“日期-部分”：[[2016,12,16]]，“日期-时间”：“2016-12-16T03:37:32Z”，“时间戳”：1481859452000}，“分数”：1，“资源”：{“主要”：{:“URL”：“http://\/portal.acm.org\/citation.cfm？doid=800135.804429”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[1979年]]}，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1145\/800135.804429”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[1979]]}}