Formal Languages and Automata Theory

Authors and titles for April 2025

[1] arXiv:2504.00263 [pdf, other]

Title: GOL in GOL in HOL: Verified Circuits in Conway's Game of Life

Magnus O. Myreen, Mario Carneiro

Comments: 17 pages, 5 figures, submitted to ITP 2025

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

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

Title: Input-Erasing Two-Way Finite Automata

Alexander Meduna, Dominik Nejedlý, Zbyněk Křivka

Comments: 33 pages

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

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

Title: Example-Free Learning of Regular Languages with Prefix Queries

Eve Fernando, Sasha Rubin, Rahul Gopinath

Subjects: Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: Home Spaces and Semiflows for the Analysis of Parameterized Petri Nets

Gerard Memmi

Comments: 20 pages and 3 figures. arXiv admin note: substantial text overlap with arXiv:2403.11779, arXiv:2306.07623

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

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

Title: On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata

Zhibo Deng, Vladimir A. Zakharov

Comments: 8 pages, 0 figures

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

[6] arXiv:2504.05963 [pdf, other]

Title: Learning Verified Monitors for Hidden Markov Models

Luko van der Maas, Sebastian Junges

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

[7] arXiv:2504.07013 [pdf, other]

Title: Thin Coalgebraic Behaviours Are Inductive

Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke

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

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

Title: Certified Symbolic Transducer with Applications in String Solving

Shuanglong Kan

Comments: Conference

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

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

Title: Undecidability of the Emptiness Problem for Weak Models of Distributed Computing

Flavio T. Principato, Javier Esparza, Philipp Czerner

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

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

Title: Languages of Boundedly-Ambiguous Vector Addition Systems with States

Wojciech Czerwiński, Łukasz Orlikowski

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

[11] arXiv:2504.08464 [pdf, other]

Title: Nondeterminism makes unary 1-limited automata concise

Bruno Guillon (UCA, INP Clermont Auvergne, LIMOS), Luca Prigioniero, Javad Taheri (UCA, INP Clermont Auvergne, LIMOS)

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

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

Title: Time for Timed Monitorability

Thomas M. Grosen, Sean Kauffman, Kim G. Larsen, Martin Zimmermann

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

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

Title: Resolving Nondeterminism by Chance

Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen

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

[14] arXiv:2504.10864 [pdf, other]

Title: Automata for the commutative closure of regular sets

Verónica Becher, Simon Lew Deveali, Ignacio Mollo Cunningham

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

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

Title: A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages

Da-Jung Cho, Szilárd Zsolt Fazekas, Shinnosuke Seki, Max Wiedenhöft

Comments: 35 pages, 2 tables, 4 figures, Updated Long Version, Under revision review in Natural Computing

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

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

Title: Effective Computation of Generalized Abelian Complexity for Pisot Type Substitutive Sequences

Jean-Michel Couvreur, Martin Delacourt, Nicolas Ollinger, Pierre Popoli, Jeffrey Shallit, Manon Stipulanti

Comments: 22 pages, 2 figures

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

[17] arXiv:2504.13784 [pdf, html, other]

Title: The complexity of reachability problems in strongly connected finite automata

Stefan Kiefer, Andrew Ryzhikov

Comments: To appear in MFCS 2025

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

[18] arXiv:2504.14623 [pdf, html, other]

Title: Synthesising Asynchronous Automata from Fair Specifications

Béatrice Bérard, Benjamin Monmege, B Srivathsan, Arnab Sur

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

[19] arXiv:2504.15975 [pdf, html, other]

Title: A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition

Peter Fletcher

Comments: 64 pages, 23 figures. Version 2: mathematical supplement added, 98 pages, 1 figure

Subjects: Formal Languages and Automata Theory (cs.FL); Computer Vision and Pattern Recognition (cs.CV)

[20] arXiv:2504.16596 [pdf, other]

Title: Learning Weighted Automata over Number Rings, Concretely and Categorically

Quentin Aristote (UPCité, IRIF (UMR\_8243), PICUBE), Sam van Gool (UPCité, IRIF (UMR\_8243)), Daniela Petrişan (UPCité, IRIF (UMR\_8243), PICUBE), Mahsa Shirmohammadi (UPCité, IRIF (UMR\_8243))

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

[21] arXiv:2504.16708 [pdf, html, other]

Title: Density of rational languages under shift invariant measures

Valérie Berthé, Herman Goulet-Ouellet, Dominique Perrin

Comments: Corrected a minor mistake

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

[22] arXiv:2504.16819 [pdf, html, other]

Title: Using games and universal trees to characterise the nondeterministic index of tree languages

Olivier Idir, Karoliina Lehtinen

Comments: To be published in ICALP 2025. The tightness property was thought to apply to too many objects, which led to incorrect reasonings. These are corrected in this version

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

[23] arXiv:2504.17299 [pdf, html, other]

Title: Approximate Problems for Finite Transducers

Emmanuel Filiot, Ismaël Jecker, Khushraj Madnani, Saina Sunny

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

[24] arXiv:2504.17443 [pdf, html, other]

Title: Morphisms and BWT-run Sensitivity

Gabriele Fici, Giuseppe Romana, Marinella Sciortino, Cristian Urbina

Comments: Submitted

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

[25] arXiv:2504.17536 [pdf, html, other]

Title: Dynamic Membership for Regular Tree Languages

Antoine Amarilli, Corentin Barloy, Louis Jachiet, Charles Paperman

Comments: 44 pages including 16 pages of main text and 2 pages of bibliography. This is the full version with proofs of the MFCS'25 article: the main text of the article is identical to the MFCS'25 version up to minor changes

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