{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,6,21]]，“日期-时间”：“2023-06-21T04:12:44Z”，“时间戳”：1687320764924}，“参考-计数”：0，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”:{“日期-零件”：[2022,7,29]]，《日期-时间》：“2022-07-29T00:00:00Z”，“timestamp”：1659052800000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[]”，“abstract”（抽象）：“图灵机和寄存器机作为计算的抽象模型在理论计算机科学中已经使用了几十年。此外，lambda$-演算在这一领域中发挥了核心作用，因为它可以基于替换机制集中关注函数计算的概念，同时抽象出实现细节。本篇文章首先观察到，这些形式化之间的等价性是基于Church-Turing论文，而不是基于将$\\lambda$-项实际编码到Turing（或寄存器）机器中。原因是这些机器不太适合建模$\\lambda$-演算程序。\n我们研究一类抽象机器，称之为“寻址机器”，因为它们只能操作其他机器的内存地址。这些机器执行的操作非常简单：在寄存器中加载地址，通过地址将一台机器应用于另一台机器，然后调用另一台计算机的地址。我们赋予寻址机器一种基于最左归约的运算矩阵，并研究它们的行为。这些机器的组件集可以很容易地转换为组合代数。为了获得完整的非类型化$\\lambda$-演算模型，我们需要引入一个与组合逻辑中的$\\omega$-规则和规则$\\zeta_\\beta$相似的规则<\/jats:p>“，”DOI“：”10.46298\/lmcs-18（3:10）2022“，”type“：”journal-article“，”created“：{”date-parts“：[2022,7,29]]，”date-time“：”2022-07-29T13:10:27Z“，”timestamp“：1659100227000}，”source“：问题3“，”作者“：[{”给定“：”Giuseppe“，”family“：”Della Penna“，”sequence“：”first“，”affiliation“：[]}，”given“：”Benedetto“，”家族“：”Intrigila“，”serquence“:”additional“，”filiation”：[]{“given”：“Giulio”，”faily“：“Manzonetto”，“sequence”：“additional”，“affiliance”：[]，”member“：”25203“，”published online“：”{“date-parts”：[2022,7,29]]}，“集装箱标签”：[“计算机科学中的逻辑方法“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/lmcs.episciences.org\/9862\/pdf“，”content-type“：”application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\//lmcs.episcienciences.org\/8862\pdf”，“内容类型”：“unspecified”，“content-version“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2023,6,20]]，”日期时间“：”2023-06-20T20:20:10Z“，”时间戳“：1687292410000}，”分数“：1，”资源“：{primary”：{“URL”：“https:\/\/lmcs.episciences.org\/7645”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[2022,7,29]]}，“references-count”：0，“URL”：“http:\/\/dx.doi.org\/10.46298\/lmcs-18（3:10）2022“，”关系“：{”has-preprint“：[{”id-type“：”arxiv“，”id“：”2107.00319v2“，“asserted-by“：”subject“}，{”ids-type”：“arxiv”，“id”：“2107.00319 v1”，“assorted-by”：“subject”}]，“is-same-as”：[{”id-type“：”arxiv“”，“id”：“2107.00319”，“asserted-by”：“subject”}，{“id-type”：“doi”，“id”：“10.48550\/arxiv.2107.00319”，“断言者”：“主题“}]}，”ISSN“：[”1860-5974“]，”ISSN-type“：[{”value“：”1860-5.974“，”type“:”electronic“}]，”主题“：[]，”published“：{”date-parts“：[2022,7,29]]}}}