Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]

[1] arXiv:2605.04657 (cross-list from cs.LO) [pdf, ps, other]: Title: Logics for Context-free Hyperproperties

Authors: Sarah Winter, Martin Zimmermann

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

[2] arXiv:2605.03928 [pdf, ps, other]: Title: Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)

Authors: Luc Dartois, Lê Thành Dũng Nguyên, Charles Peyrat

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[3] arXiv:2605.03535 [pdf, ps, other]: Title: Hyper-Minimization for Deterministic Register Automata

Authors: Yong Li, Qiyi Tang, Di-De Yen

Subjects: Formal Languages and Automata Theory (cs.FL)
[4] arXiv:2605.02957 [pdf, ps, other]: Title: Nondeterministic state complexity of square root

Authors: Sergey Onishchenko

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

[5] arXiv:2605.02017 (cross-list from cs.LO) [pdf, ps, other]: Title: Knowledge Compilation for Quantification in Alternating Automata

Authors: S. Akshay, Alfredo Cantarella, Supratik Chakraborty, Bernd Finkbeiner, Niklas Metzger

Comments: Published at the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[6] arXiv:2605.01209 (cross-list from cs.SE) [pdf, ps, other]: Title: ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification

Authors: Yue Fang, Zhi Jin, Jie An, Hongshen Chen, Xiaohong Chen, Naijun Zhan

Comments: 32 pages, 15 figures

Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[7] arXiv:2604.21191 (cross-list from cs.CL) [pdf, ps, other]: Title: Prefix Parsing is Just Parsing

Authors: Clemente Pasti, Andreas Opedal, Timothy J. O'Donnell, Ryan Cotterell, Tim Vieira

Comments: To appear at ACL 2026

Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

[8] arXiv:2605.00194 [pdf, ps, other]: Title: The speed of convergence in greedy Galois games

Authors: Jeffrey Shallit

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Probability (math.PR)

[9] arXiv:2604.27024 [pdf, ps, other]: Title: Finite-Horizon First-Order Rank Profiles of Regular Languages

Authors: Madina Bazarova, Faruk Alpay

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[10] arXiv:2604.27268 (cross-list from cs.LO) [pdf, ps, other]: Title: A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes

Authors: Wojciech Różowski, Robin Piedeleu, Alexandra Silva, Fabio Zanasi

Comments: Accepted to ICALP 2026

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

[ total of 10 entries: 1-10 ]
[ showing up to 25 entries per page: fewer | more ]