圖書信息

內容簡介

對 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%) — 該聚類從代數、範疇與拓撲視角研究胞元自動機，聚焦可判定性、傳遞性與普適性。