{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,10,11]]，“日期时间”：“2023-10-11T06:40:30Z”，“时间戳”：1697006430920}，“出版商位置”：“罗德岛普罗维登斯”，“引用计数”：0，“出版者”：“美国数学学会”，“内容域”用法：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“published-print”：{”date-parts“：[[1994,6,7]]}，”DOI“：”10.1090\/dimacs\/015\/24“，”type“：”book-chapter“，”created“：{（日期）parts“：[[2017,4,26]]，”date-time“：”2017-04-26T22:32:10Z“，”timestamp“：149324593000}，347-363“，”源“：”Crossref“，”is-referenced-by-count“：4，”title“：[“实现有限状态机”]，“前缀”：“10.1090”，“作者”：[{“given”：“Klaus”，“family”：“Sutner”，“sequence”：“first”，“affiliation”：[]}]，“member”：“14”，“container-title”：[“离散数学和理论计算机科学中的DIMACS系列”，“离散数学的计算支持”]，“原标题”：[]，“存放”：{“日期部分”：[[2017,4,26]]，“日期-时间”：“2017-04-26T22:32:27Z”，“时间戳”：1493245947000｝，“分数”：1，“资源”：{“主要”：{“URL”：“http:\/\/ams.org/dimacs\/015”｝，“副标题”：[]，“短标题”：[]，“发布”：{“日期部分”：[[1994,6,7]]｝，“引用次数”：0，“URL”：“http:\/\/dx.doi.org.\/10.1090\/dimacs\/015\/24“，“relationship”：{}，“ISSN”：[“1052-1798”，“2472-4793”]，“ISSN-type”：[{“value”：“1052-179”，“type”:“print”}，{“value”：“24724-793”，“type”：“electronic”}]，“subject”：【】，“published”：{“date-parts”：[[1994,6,7]}}}}