paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Algebraic Language Theory for Eilenberg--Moore Algebras

面向 Eilenberg--Moore 代数的代数语言理论
LMCS vol.Volume 17, Issue 22021匹配度 3/10 · 论文属于代数语言理论与逻辑/自动机形式语义，虽与程序语言理论相关，但并未涉及用户重点关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析。引用 2 inbox
Achim Blumensath
逻辑与自动机形式语义
crossref: 2026-09-10

AI 速览

一句话：提出基于 Eilenberg--Moore 代数的代数语言理论，支持无限多 sort 的代数并借助可定义代数连接逻辑。

本文在 Eilenberg--Moore 代数概念的基础上发展一种代数语言理论。与以往同类框架相比，其核心推进有两点：一是允许代数具有无限多个 sort，从而覆盖更一般的结构；二是引入所谓“可定义代数”（definable algebras），把代数框架与逻辑中的可定义性联系起来。由此，该工作为形式语言与自动机的代数化研究提供了更一般的范畴论/代数基础，并给出了代数结构、语言与逻辑之间的一种统一视角。摘要未报告具体实现或实验评估，贡献主要在理论框架的推广与概念连接上。

问题
如何在代数语言理论中支持具有无限多个 sort 的代数，并建立代数框架与逻辑之间的联系。
方法
以 Eilenberg--Moore 代数为基本结构，扩展代数语言理论，并通过 definable algebras 将逻辑可定义性纳入框架。
评估
摘要未给出实验或案例评估；评估体现在与既有框架的对比及对无限多 sort 和逻辑连接能力的论证。
原文摘要（Abstract）

We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic in form of so-called `definable algebras'.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@article{paperbot1324,
  title = {Algebraic Language Theory for Eilenberg--Moore Algebras},
  author = {Achim Blumensath},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 17, Issue 2},
  year = {2021},
  doi = {10.23638/lmcs-17(2:6)2021}
}