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

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)