{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,3]]，“日期-时间”：“2022-04-03T00:00:45Z”，“时间戳”：1648944045259}，“参考-计数”：20，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“1”，“许可证”：[{“开始”：}“日期-零件”：[[2015,4,8]]，”日期-时间“：”2015-04-08T00:00:00Z“，”时间戳“用法：1428451200000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,1]]}”，“abstract”：“”迭代理论的公理，或迭代类别，在几个计算上重要的类别中捕捉了不动点运算的等式性质。迭代类别可以通过Conway恒等式和与有限自动机相关的恒等式进行公理化。我们证明了Conway恒等式和与子类成员关联的恒等式有限自动机的$\\mathcal｛Q｝$<\/jats:tex math><\/jats:alternatives><\/jats:inline formula>对于迭代类别是完整的，当对于每个有限简单群有一个自动机问题<\/jats:bold>\u2208$\\mathcal{Q}$G<\/jats:italic>是群在单半群中的商M<\/jats:italic>(自动机的Q<\/jats:bold>）问题<\/jats:bold>。我们还证明了一个更强的结果，它涉及与具有不同初始状态的有限自动机相关联的恒等式<\/jats:p>“，”DOI“：”10.1017\/s0960129515000031“，”type“：”journal-article“，”created“：{”date-parts“：[[2015,4,8]]，”date-time“：”2015-04-08T09:02:22Z“，”timestamp“：1428483742000}，”page“：“54-69”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“与笛卡尔类定点操作的有限自动机相关的等式公理”]，“前缀“：”10.1017“，”volume“：”27“，”author“：[{”given“：“ZOLT\u00c1N”，”family“：”u00c9SIK“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2015,4,8]]}，”reference“：[[{“key”：“S090129515000031_ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.1998.2746“}，{”key“：”S0960129515000031_ref4“，”doi-asserted-by“：”publisher“，”DOI“：”10.1007\/978-3-642-78034-9“}，”{“key”：“S0960129515000031_ref16”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1073\/pnas.50.5.869”}，“key“：”S0960129055000031_ref13“，”首页“：”65“，”article-title“：”公理化迭代类别“，”卷“：”14“，”作者“：”“\u00c9sik”，“年份”：“1999”，“journal al-title“：”控制论学报“}，{”密钥“：”S0960129515000031_ref8“，“volume-title”：“自动机、语言和机器”，“author”：“Eilenberg”，“year”：“1976”}，{“key”：“S09K129515000031 _ref7”，“unstructured”：“DeBakker J.W.和Scott D.（1969）。程序理论。技术报告，IBM实验室，维也纳。”}、{。B.、Thatcher J.W.、Wagner E.G.和Goguen J.A.（1976年）。有理代数理论和定点解。摘自：第17届计算机科学基础年度研讨会论文集，FOCS’76，IEEE Computer Society 147\u201315810.1142\/S0218196700000145“}，{“key”：“S0960129515000031_ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（97）00158-8”}，}“key”：”S096012905000031_rf9“，”首页“：”175“，”doi-asserted-by“：”publisher“，”doi“：”10.1051 \/ita\/1998321-300351“}，{“key”：“S0960129515000031_ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-16761-7_96”}，}“key:”S096019515000031_ref11“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/S0304-3975（96“：”publisher“，”doi“：”10.1007\/BFb0048939“}，{”key“：”S0960129515000031_ref3“，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/0209002”}，{“key”：“S0960129055000031_ref18”，“unstructured”：“Plotkin G.（1983）。Domains.The Pisa notes.The University of Edinburgh。”}、{“key”：”S090129515000031 _ref10“，“first page”：\u00c9sik“，”year“：”1980“，”journal-title“：”Computer Linguistic and Computer Language“}，{”key“：”S0960129515000031_ref19“，”doi-asserted-by“：”crossref“，”unstructured“：”Simpson A.and Plotkin G.（2000）.范畴不动点算子的完备公理。在：第15届IEEE计算机科学逻辑年度研讨会论文集，LICS 2000，IEEE计算机学会30\u201341.“，”DOI“：”10.1109\/LICS.2000.855753“｝，”key“：”S0960129515000031_ref5“，”DOI asserted by“：”publisher“，”DOI“：”10.1016\/00304-3975（95）00010-0“｝]，”容器标题“：[”计算机科学中的数学结构“]，”原标题“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129515000031“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,4,18]]，”date-time“：“2019-04-18T00:40:13Z”，“timestamp”：1555548013000}，“分数”：1，“resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129515000031\/type\/journal_article”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“日期-部件”：[[2015,4,8]]}，”references-count“：20，”journal-issue“：{”issue“：”1“，”published-print“：”{“date-parts”：[2017,1]]}}“alternative-id“：[”S0960129515000031“]，“URL”：“http:\/\/dx.doi.org\/10.1017\/s0960129515000031“，”关系“：{}，”ISSN“：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”值“：”09601295“，”类型“：”打印“}，{”价值“：”1469-80 72“，”类别“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2015,4,8]]}}}}