Formal Languages and Automata Theory

Authors and titles for recent submissions

• Tue, 28 Oct 2025
• Mon, 27 Oct 2025
• Fri, 24 Oct 2025
• Thu, 23 Oct 2025
• Wed, 22 Oct 2025

See today's new changes

Tue, 28 Oct 2025 (continued, showing last 2 of 3 entries )

[2] arXiv:2510.23487 (cross-list from cs.AI) [cn-pdf, pdf, html, other]

Title: Are Agents Just Automata? On the Formal Equivalence Between Agentic AI and the Chomsky Hierarchy Show Chinese title

Title: 代理是否只是自动机？ 代理人工智能与乔姆斯基层次结构的形式等价性

Roham Koohestani, Ziyou Li, Anton Podkopaev, Maliheh Izadi

Subjects: Artificial Intelligence (cs.AI) ; Formal Languages and Automata Theory (cs.FL)

[3] arXiv:2510.23211 (cross-list from cs.LO) [cn-pdf, pdf, other]

Title: Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics Show Chinese title

Title: 第32届国际并发表达性联合研讨会和第22届结构操作语义研讨会论文集

Cinzia Di Giusto (Université Côte d'Azur), Giorgio Bacci (Aalborg University)

Journal-ref: EPTCS 433, 2025

Subjects: Logic in Computer Science (cs.LO) ; Formal Languages and Automata Theory (cs.FL)

Mon, 27 Oct 2025 (showing 2 of 2 entries )

[4] arXiv:2510.21514 (cross-list from cs.FL) [cn-pdf, pdf, html, other]

Title: Language Equivalence is Undecidable in VASS with Restricted Nondeterminism Show Chinese title

Title: 语言等价性在受限非确定性的VASS中是不可判定的

Wojciech Czerwiński, Łukasz Orlikowski

Subjects: Formal Languages and Automata Theory (cs.FL) ; Logic in Computer Science (cs.LO)

[5] arXiv:2510.21599 (cross-list from cs.LG) [cn-pdf, pdf, html, other]

Title: SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism Show Chinese title

Title: SHAP 联合张量网络：具有并行性的可证明可处理的解释

Reda Marzouk, Shahaf Bassan, Guy Katz

Comments: To appear in NeurIPS 2025

Subjects: Machine Learning (cs.LG) ; Computational Complexity (cs.CC) ; Formal Languages and Automata Theory (cs.FL) ; Quantum Physics (quant-ph)

Fri, 24 Oct 2025 (showing 1 of 1 entries )

[6] arXiv:2510.20692 (cross-list from cs.SE) [cn-pdf, pdf, html, other]

Title: Exploring Large Language Models for Access Control Policy Synthesis and Summarization Show Chinese title

Title: 探索大型语言模型在访问控制策略合成和总结中的应用

Adarsh Vatsa, Bethel Hall, William Eiers

Comments: 20 pages, 7 figures

Subjects: Software Engineering (cs.SE) ; Artificial Intelligence (cs.AI) ; Formal Languages and Automata Theory (cs.FL)

Thu, 23 Oct 2025 (showing 2 of 2 entries )

[7] arXiv:2510.19315 (cross-list from cs.FL) [cn-pdf, pdf, html, other]

Title: Transformers are Inherently Succinct Show Chinese title

Title: 变压器本质上是简洁的

Pascal Bergsträßer, Ryan Cotterell, Anthony W. Lin

Subjects: Formal Languages and Automata Theory (cs.FL) ; Machine Learning (cs.LG) ; Logic in Computer Science (cs.LO)

[8] arXiv:2510.19276 (cross-list from cs.FL) [cn-pdf, pdf, html, other]

Title: Stochastic Languages at Sub-stochastic Cost Show Chinese title

Title: 随机语言在次随机成本下

Smayan Agarwal, Aalok Thakkar

Subjects: Formal Languages and Automata Theory (cs.FL)

Wed, 22 Oct 2025 (showing 2 of 2 entries )

[9] arXiv:2510.18283 (cross-list from cs.FL) [cn-pdf, pdf, html, other]

Title: A Characterization of Turing Machines that Compute Primitive Recursive Functions Show Chinese title

Title: 图灵机计算原始递归函数的特征

Daniel G. Schwartz

Subjects: Formal Languages and Automata Theory (cs.FL)

[10] arXiv:2510.18479 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: ZipLex: Verified Invertible Lexing with Memoized Derivatives and Zippers Show Chinese title

Title: ZipLex：带记忆导数和Zippers的可逆词法分析验证

Samuel Chassot, Viktor Kunčak

Subjects: Programming Languages (cs.PL) ; Formal Languages and Automata Theory (cs.FL)