图书信息

内容简介

对 arXiv cs.FL 分类的年度综述，涵盖 2025 年 9 月至 2026 年 8 月期间发表的研究。本卷基于对 108 篇论文 的细读整理，组织为 40 章，按该领域的研究子方向描绘这一年的全貌。

全书框架（年度产出占比）：

无限状态系统中的可达性与验证 (17.3%) — 该聚类聚焦带状态向量加法系统（VASS）与计数机等无限状态系统的可达性与验证问题，通常带有维度与计数约束。
时序逻辑、模型检验与运行时验证 (17.3%) — 该聚类通过模型检验、运行时监控及概率或随机扩展，处理复杂系统时序性质的形式化验证。
词与无限序列的组合学 (13.5%) — 该聚类研究有限与无限词的组合性质，包括自动序列、斐波那契词与词表示的复杂度度量。
正则语言、表达式与ω-正则性质 (13.5%) — 该聚类研究正则与ω-正则语言的判定问题、表达能力与计数或采样，包括其代数与自动机理论刻画。
面向大语言模型与自然语言的形式语言方法 (10.9%) — 该聚类探索形式语言理论与自然语言处理的交叉，尤其是自动机与逻辑在理解和验证大语言模型中的作用。
有限自动机、加权自动机与定量模型 (10.1%) — 该聚类聚焦有限自动机的结构与定量方面，包括加权、确定性与量子变体，强调复杂度与表达能力。
上下文无关文法、解析与语言包含 (8.0%) — 该聚类处理上下文无关语言的算法与理论问题，包括解析效率、文法变换与包含问题。
带形式规范的自动机学习与强化学习 (5.6%) — 该聚类将自动机学习与强化学习及主动学习结合，从轨迹或环境中综合或推断形式规范。
胞元自动机、群作用与拓扑动力学 (3.7%) — 该聚类从代数、范畴与拓扑视角研究胞元自动机，聚焦可判定性、传递性与普适性。