Formal Languages and Automata Theory

Authors and titles for April 2025

[26] arXiv:2504.18247 [pdf, html, other]

Title: Efficient Matching of Some Fundamental Regular Expressions with Backreferences

Taisei Nogami, Tachio Terauchi

Comments: 24 pages, the full version of the paper to appear in MFCS 2025

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)

[27] arXiv:2504.18280 [pdf, html, other]

Title: Clustering of return words in languages of interval exchanges

Francesco Dolce, Christian B. Hughes

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)

[28] arXiv:2504.19537 [pdf, html, other]

Title: Universally Wheeler Languages

Ruben Becker, Giuseppa Castiglione, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza, Antonio Restivo, Brian Riccardi

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

[29] arXiv:2504.20395 [pdf, html, other]

Title: Partial Answer of How Transformers Learn Automata

Tiantian Zhang

Subjects: Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)

[30] arXiv:2504.20553 [pdf, html, other]

Title: Characterizing the Polynomial-Time Minimizable $ω$-Automata

Bader Abu Radi, Rüdiger Ehlers

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

[31] arXiv:2504.20555 [pdf, html, other]

Title: From regular expressions to deterministic finite automata: $2^{\frac{n}{2}+\sqrt{n}(\log n)^{Θ(1)}}$ states are necessary and sufficient

Olga Martynova, Alexander Okhotin

Comments: 20 pages, 4 figures

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

[32] arXiv:2504.21390 [pdf, html, other]

Title: Statistical process discovery

Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall

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

[33] arXiv:2504.21429 [pdf, html, other]

Title: Active Learning of Upward-Closed Sets of Words

Quentin Aristote (UPCité, IRIF, PICUBE)

Comments: 13 pages, 2 figures; presented at CALCO 2025

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

[34] arXiv:2504.00625 (cross-list from eess.SY) [pdf, html, other]

Title: New Insights into the Decidability of Opacity in Timed Automata

Weilin Deng, Daowen Qiu, Jingkai Yang

Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL)

[35] arXiv:2504.00723 (cross-list from cs.DB) [pdf, html, other]

Title: Complex event recognition under time constraints: towards a formal framework for efficient query evaluation

Julián García, Cristian Riveros

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

[36] arXiv:2504.01007 (cross-list from eess.SY) [pdf, html, other]

Title: Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes

Mohammed Adib Oumer, Amr Alanwar, Majid Zamani

Comments: This manuscript of 11 pages, 2 tables and 3 figures is a preprint under review with a conference

Subjects: Systems and Control (eess.SY); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)

[37] arXiv:2504.03995 (cross-list from cs.PL) [pdf, other]

Title: Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)

Steven Schaefer, Nathan Varner, Pedro H. Azevedo de Amorim, Max S. New

Comments: 37 pages, 24 figures; Replaced to keep consistency with non-extended version of the paper to appear at PLDI 25

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

[38] arXiv:2504.05015 (cross-list from cs.LO) [pdf, html, other]

Title: PVASS Reachability is Decidable

Roland Guttenberg, Eren Keskin, Roland Meyer

Comments: 102 pages, 4 figures, submitted to FOCS 2025

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

[39] arXiv:2504.05114 (cross-list from cs.LO) [pdf, html, other]

Title: From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells

Luca Barbaro, Giovanni Varricchione, Marco Montali, Claudio Di Ciccio

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

[40] arXiv:2504.05965 (cross-list from cs.LO) [pdf, other]

Title: Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

Comments: Accepted to ATVA 2025

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

[41] arXiv:2504.07033 (cross-list from cs.LO) [pdf, other]

Title: A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)

Yu-Fang Chen, Vojtěch Havlena, Michal Hečko, Lukáš Holík, Ondřej Lengál

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

[42] arXiv:2504.08575 (cross-list from cs.LO) [pdf, html, other]

Title: Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$

Sarah Winter, Martin Zimmermann

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

[43] arXiv:2504.12302 (cross-list from cs.CC) [pdf, html, other]

Title: Reachability in Geometrically $d$-Dimensional VASS

Yuxi Fu, Yangluo Zheng, Qizhe Yang

Comments: 30 pages, 6 figures

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

[44] arXiv:2504.15668 (cross-list from cs.AI) [pdf, html, other]

Title: Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems

Mir Md Sajid Sarwar, Rajarshi Ray

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

[45] arXiv:2504.16288 (cross-list from cs.DS) [pdf, html, other]

Title: Linear Time Subsequence and Supersequence Regex Matching

Antoine Amarilli, Florin Manea, Tina Ringleb, Markus L. Schmid

Comments: 31 pages. Full version including all proofs

Subjects: Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

[46] arXiv:2504.16624 (cross-list from cs.LG) [pdf, other]

Title: Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement

Leo Henry, Thomas Neele, Mohammad Reza Mousavi, Matteo Sammartino

Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL)

[47] arXiv:2504.16703 (cross-list from cs.LO) [pdf, html, other]

Title: Decidability Problems for Micro-Stipula

Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro

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

[48] arXiv:2504.17017 (cross-list from cs.AI) [pdf, html, other]

Title: Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification

Balaji Rao, William Eiers, Carlo Lipizzi

Comments: Accepted to the Proceedings of the 19th Conference on Neurosymbolic Learning and Reasoning (NeSy 2025)

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

[49] arXiv:2504.19814 (cross-list from cs.LO) [pdf, html, other]

Title: High-Level Message Sequence Charts: Satisfiability and Realizability Revisited

Benedikt Bollig, Marie Fortin, Paul Gastin

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

[50] arXiv:2504.20385 (cross-list from cs.LO) [pdf, html, other]

Title: Weighted GKAT: Completeness and Complexity

Spencer Van Koevering, Wojciech Różowski, Alexandra Silva

Comments: ICALP 2025. 51 pages, 2 figures

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