Formal Languages and Automata Theory

Authors and titles for May 2025

[1] arXiv:2505.01269 [pdf, other]

Title: Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars

Radu Iosif, Arnaud Sangnier, Neven Villani

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

[2] arXiv:2505.09032 [pdf, html, other]

Title: FocusE: A semantic extension of FocusST

Maria Spichkova

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

[3] arXiv:2505.09353 [pdf, html, other]

Title: Deterministic Suffix-reading Automata

R Keerthan, B Srivathsan, R Venkatesh, Sagar Verma

Comments: Extended version of arXiv:2410.22761

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

[4] arXiv:2505.10319 [pdf, html, other]

Title: Deconstructing Subset Construction -- Reducing While Determinizing

John Nicol, Markus Frohme

Comments: 19 pages, 2 figures

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

[5] arXiv:2505.10461 [pdf, html, other]

Title: Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemiański

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

[6] arXiv:2505.12436 [pdf, html, other]

Title: Compositional Abstraction for Timed Systems with Broadcast Synchronization

Hanyue Chen, Miaomiao Zhang, Frits Vaandrager

Comments: Extended version of the paper accepted to CAV 2025. This version includes complete proofs and additional details on the experiments

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

[7] arXiv:2505.13749 [pdf, html, other]

Title: A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter

Yousef Shakiba, Henry Sinclair-Banks, Georg Zetzsche

Comments: 32 pages; accepted for LICS 2025

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

[8] arXiv:2505.13937 [pdf, html, other]

Title: On Quantum Context-Free Grammars

Merina Aruja, Lisa Mathew, Jayakrishna Vijayakumar

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

[9] arXiv:2505.14304 [pdf, html, other]

Title: Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning

Christof Löding, Igor Walukiewicz

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

[10] arXiv:2505.15605 [pdf, html, other]

Title: A General Information Extraction Framework Based on Formal Languages

Markus L. Schmid

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

[11] arXiv:2505.15740 [pdf, html, other]

Title: HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement

Jilin Hu, Jianyu Zhang, Yongwang Zhao, Talia Ringer

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

[12] arXiv:2505.17264 [pdf, html, other]

Title: Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives

Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu

Comments: Accepted by IJCAI 2025, the 34th International Joint Conference on Artificial Intelligence

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

[13] arXiv:2505.17699 [pdf, html, other]

Title: Multidimensional tilings and MSO logic

Rémi Pallen, Ilkka Törmä

Comments: 15+11 pages, 4+2 figures. To be presented at Computability in Europe 2025

Subjects: Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS); Logic (math.LO)

[14] arXiv:2505.17990 [pdf, html, other]

Title: Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs

Shuhang Zhang, Bryan Olmos

Comments: Published in DVCon US 2025

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

[15] arXiv:2505.18626 [pdf, html, other]

Title: A note on Automatic Baire property

Ludwig Staiger

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

[16] arXiv:2505.20547 [pdf, html, other]

Title: A Family of Sequences Generalizing the Thue Morse and Rudin Shapiro Sequences

Russell Jay Hendel

Comments: 13 pages, 1 figure. This version 2, adds to version 1: Theorems about (i) maximal runs and (ii) Palindromes. Future versions intend to add theorems about square orders and borders

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

[17] arXiv:2505.23233 [pdf, other]

Title: Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version

Patrizia Schalk, Artem Polyvyanyy

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

[18] arXiv:2505.00562 (cross-list from cs.RO) [pdf, html, other]

Title: TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching

Yue Meng, Chuchu Fan

Comments: Accepted to ICML2025

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

[19] arXiv:2505.00718 (cross-list from quant-ph) [pdf, html, other]

Title: Productive Quantum Programming Needs Better Abstract Machines

Santiago Núñez-Corrales, Olivia Di Matteo, John Dumbell, Marcus Edwards, Edoardo Giusto, Scott Pakin, Vlad Stirbu

Comments: 11 pages, 2 figures, 1 table

Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

[20] arXiv:2505.00908 (cross-list from cs.LG) [pdf, html, other]

Title: Learning Neural Control Barrier Functions from Offline Data with Conservatism

Ihab Tabbara, Hussein Sibai

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

[21] arXiv:2505.00967 (cross-list from cs.SE) [pdf, other]

Title: A SCADE Model Verification Method Based on B-Model Transformation

Xili Hou, Keming Wang, Huibing Zhao, Ruiyin Shi

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

[22] arXiv:2505.01434 (cross-list from math.OC) [pdf, other]

Title: Supervisory Control of a Flexible Manufacturing Unit for the Production of Two Products

Kyriakos Giagiakos

Comments: MSc thesis

Subjects: Optimization and Control (math.OC); Formal Languages and Automata Theory (cs.FL)

[23] arXiv:2505.07186 (cross-list from cs.DM) [pdf, html, other]

Title: Reflexive Composition of Elementary State Machines, with an Application to the Reversal of Cellular Automata Rule 90

Chris Salzberg, Hiroki Sayama

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Cellular Automata and Lattice Gases (nlin.CG)

[24] arXiv:2505.07501 (cross-list from cs.GT) [pdf, html, other]

Title: The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games

Purandar Bhaduri

Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[25] arXiv:2505.08140 (cross-list from cs.AI) [pdf, other]

Title: Lost in Transmission: When and Why LLMs Fail to Reason Globally

Tobias Schnabel, Kiran Tomlinson, Adith Swaminathan, Jennifer Neville

Comments: 28 pages

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

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

Title: Cyclic system for an algebraic theory of alternating parity automata

Anupam Das, Abhishek De

Comments: 26 pages, 3 figures

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

[27] arXiv:2505.09276 (cross-list from cs.CR) [pdf, other]

Title: Privacy-Preserving Runtime Verification

Thomas A. Henzinger, Mahyar Karimi, K. S. Thejaswini

Comments: 42 pages, 12 figures, 2 tables

Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL)

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

Title: Characterization and Decidability of FC-Definable Regular Languages

Sam M. Thompson, Nicole Schweikardt, Dominik D. Freydenberger

Comments: To appear in LICS 2025

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

[29] arXiv:2505.09963 (cross-list from cs.SE) [pdf, html, other]

Title: Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification

Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar

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

[30] arXiv:2505.10303 (cross-list from math.LO) [pdf, html, other]

Title: An algebraic theory of ω-regular languages, via μν-expressions

Anupam Das, Abhishek De

Comments: Preprint

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

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

Title: Inquisitive Team Semantics of LTL

Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano

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

[32] arXiv:2505.11199 (cross-list from cs.CL) [pdf, html, other]

Title: NoPE: The Counting Power of Transformers with No Positional Encodings

Chris Köcher, Alexander Kozachinskiy, Anthony Widjaja Lin, Marco Sälzer, Georg Zetzsche

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

[33] arXiv:2505.11694 (cross-list from cs.LG) [pdf, html, other]

Title: Neural Networks as Universal Finite-State Machines: A Constructive Deterministic Finite Automaton Theory

Sahil Rajesh Dhayalkar

Comments: 15 pages, 1 figure

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

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

Title: Learning Probabilistic Temporal Logic Specifications for Stochastic Systems

Rajarshi Roy, Yash Pote, David Parker, Marta Kwiatkowska

Comments: Full version of the paper that appears in IJCAI'25

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

[35] arXiv:2505.13640 (cross-list from math.CO) [pdf, other]

Title: Maximal 2-dimensional binary words of bounded degree

Alexandre Blondin Massé, Alain Goupil, Ralphael L'Heureux, Louis Marin

Comments: 49 pages, 36 figures

Subjects: Combinatorics (math.CO); Formal Languages and Automata Theory (cs.FL)

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

Title: Robust Probabilistic Bisimilarity for Labelled Markov Chains

Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel

Comments: Accepted to the 37th International Conference on Computer Aided Verification (CAV) 2025

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

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

Title: HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)

Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan

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

[38] arXiv:2505.18030 (cross-list from cs.AI) [pdf, other]

Title: Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons

Hazhar Rahmani, Jie Fu

Comments: 16 pages, 11 figures, technical report, submission under review

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

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

Title: Exact Expressive Power of Transformers with Padding

William Merrill, Ashish Sabharwal

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

[40] arXiv:2505.19141 (cross-list from math.NT) [pdf, html, other]

Title: S-unit equations in modules and linear-exponential Diophantine equations

Ruiwen Dong, Doron Shafrir

Comments: 80 pages, corrected spelling mistake for a name

Subjects: Number Theory (math.NT); Formal Languages and Automata Theory (cs.FL)

[41] arXiv:2505.20057 (cross-list from math.GR) [pdf, html, other]

Title: On groups with EDT0L word problem

Alex Bishop, Murray Elder, Alex Evetts, Paul Gallot, Alex Levine

Comments: 35 pages, 2 figures

Subjects: Group Theory (math.GR); Formal Languages and Automata Theory (cs.FL)

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

Title: INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition

Suguman Bansal, Ramneet Singh

Comments: To appear at the 37th International Conference on Computer Aided Verification (CAV) 2025

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

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

Title: Neural Networks as Universal Finite-State Machines: A Constructive ReLU Simulation Framework for NFAs

Sahil Rajesh Dhayalkar

Comments: 16 pages, with proofs in Appendix

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