圖書信息
內容簡介
對 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%) — 該聚類從代數、範疇與拓撲視角研究胞元自動機，聚焦可判定性、傳遞性與普適性。
每個子方向均通過三章展開論述——它如何提出自己的問題、其關鍵結論的強度，以及它開放的爭論與前沿，從而讓讀者獲得該領域今年實際產出的可溯源圖景。
