{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,4,11]]，“日期-时间”：“2023-04-11T20:40:26Z”，“时间戳”：1681245626963}，“参考-计数”：0，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”：{“日期-零件”：[2006,11,8]]，”日期-时间“：”2006-11-08T00:00:00Z“，“timestamp”：1162944000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”abstract“：”表示语义可以基于具有附加结构（顺序、度量等）的代数，这使得解释递归规范成为可能。Elgot的想法是将指称语义建立在运算理论的基础上，即抽象递归规范需要有唯一的解决方案的理论。后来Bloom和Esik研究了迭代理论和迭代代数，其中指定的解必须遵守某些公理。在本文中，我们提出了所谓的Elgot代数作为一种方便的语义结构。Elgot代数是一种代数，它对每个平面递归方程组都有指定的解。该指定满足两个简单且动机良好的公理：函数性（说明在重命名递归变量时解是稳定的）和复合性（说明如何执行同时递归）。这两个概念规范地来源于Elgot的迭代理论：我们证明Elgot代数的范畴是自由迭代理论给出的单子的Eilenberg-Moore范畴<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（5:4）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:29:58Z“，”timestamp“：1164274198000}，”source“：“Crossref”，“is-referenced-by-count”：11，“title”：[“Elgot Algebras”]，“prefix”：“10.46298”，“volume”：“volume 2，Issue 5”，“author”：[{“given”：“Jiri”，“family”：“Adamek”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Stefan”，“family”：“Milius”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Jiri”，“family”：“Velebil”，“sequence”：“additional”，“affiliation”：[]｝，“member”：“25203”，“published online”：｛”URL“：”https:\/\/lmcs.episciences.org\/2235\/pdf“，”content-type“：”application\/pdf”，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\//lmcs.appisciences/org\/2235\/ppdf”，”内容类型“：”unspecified“，”内容-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{“日期段”：[202 3,4,11]]，“日期时间”：“2023-04-11T20:16Z“，”timestamp“：1681243816000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/lmcs.episciences.org\/2235”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2006,11,8]]}，《references-count》：0，“URL”:“http://\/dx.doi.org\/10.2168\/lmcs-2（5:4）2006”，“关系”：{“is-same-as”：[{“id类型”：“arxiv”，“id”：“cs\/0609040”，“asserted-by“：”subject“}，{“id-type”：“doi”，“id”：“10.48550 \/arXiv.cs\/0609040”，“asserted-by”：“subject”}]}，“ISSN”：[“1860-5974”]，“ISSN-type”：[{“value”：“1860-5.974”，“type”:“electronic”}]，“subjob”：[]，“published”：{“date-parts”：[[2006,11,8]]}}}}