Formal Languages and Automata Theory

Authors and titles for recent submissions

• Fri, 24 Oct 2025
• Thu, 23 Oct 2025
• Wed, 22 Oct 2025
• Tue, 21 Oct 2025
• Mon, 20 Oct 2025

See today's new changes

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

[1] 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 )

[2] 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)

[3] 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 )

[4] 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)

[5] 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)

Tue, 21 Oct 2025 (showing 5 of 5 entries )

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

Title: Non-interference analysis of bounded labeled Petri nets Show Chinese title

Title: 有界标记Petri网的非干扰性分析

Ning Ran, Zhengguang Wu, Shaokang Zhang, Zhou He, Carla Seatzu

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

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

Title: Castor Ministerialis Show Chinese title

Title: Castor Ministerialis

Christian Hercher

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

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

Title: Inference of Deterministic Finite Automata via Q-Learning Show Chinese title

Title: 通过Q学习推断确定性有限自动机

Elaheh Hosseinkhani, Martin Leucker

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

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

Title: Multihead Finite-State Compression Show Chinese title

Title: 多头有限状态压缩

Neil Lutz

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

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

Title: Expressive Reward Synthesis with the Runtime Monitoring Language Show Chinese title

Title: 带有运行时监控语言的表达奖励合成

Daniel Donnelly, Angelo Ferrando, Francesco Belardinelli

Subjects: Machine Learning (cs.LG) ; Artificial Intelligence (cs.AI) ; Formal Languages and Automata Theory (cs.FL) ; Machine Learning (stat.ML)

Mon, 20 Oct 2025

No updates for this time period.