Formal Languages and Automata Theory

Authors and titles for recent submissions

• Fri, 4 Jul 2025
• Thu, 3 Jul 2025
• Wed, 2 Jul 2025
• Tue, 1 Jul 2025
• Mon, 30 Jun 2025

See today's new changes

Fri, 4 Jul 2025 (showing 3 of 3 entries )

[1] arXiv:2507.02491 [pdf, other]

Title: Engineering an LTLf Synthesis Tool

Alexandre Duret-Lutz (LRE), Shufang Zhu, Nir Piterman (Chalmers), Giuseppe de Giacomo (UNIROMA), Moshe Y Vardi

Journal-ref: 29th International Conference on Implementation and Applications of Automata (CIAA'25), Sep 2025, Palermo, Italy

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

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

Title: Subtyping in DHOL -- Extended preprint

Colin Rothgang, Florian Rabe

Comments: 16 pages main document, 44 pages of appendices, to be published in FroCoS 2025

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

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

Title: Resolving CAP Through Automata-Theoretic Economic Design: A Unified Mathematical Framework for Real-Time Partition-Tolerant Systems

Craig S Wright

Comments: 51 pages 4 tables, includes formal proofs, automata construction, and case study on Bitcoin Script

Subjects: Computer Science and Game Theory (cs.GT); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Information Retrieval (cs.IR); General Economics (econ.GN)

Thu, 3 Jul 2025 (showing 1 of 1 entries )

[4] arXiv:2507.01036 [pdf, other]

Title: Systemic Constraints of Undecidability

Seth Bulin

Comments: Submitted version; includes appendices with formal definitions and structural embeddings. Prepared in Nature Computational Science format. Keywords: computability theory, undecidability, causal systems, structural closure, recursion theory, Turing machines, hypercomputation, metaundecidability, epistemic limits, consciousness, modeling limits

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

Wed, 2 Jul 2025 (showing 1 of 1 entries )

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

Title: Eilenberg correspondence for Stone recognition

Jorge Almeida, Ondřej Klíma

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

Tue, 1 Jul 2025 (showing 3 of 3 entries )

[6] arXiv:2506.23578 [pdf, other]

Title: Reachability in symmetric VASS

Łukasz Kamiński, Sławomir Lasota

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

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

Title: Programmable Co-Transcriptional Splicing: Realizing Regular Languages via Hairpin Deletion

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

Comments: 28 pages, 8 Figures, Accepted at the 31st International Conference on DNA Computing and Molecular Programming (2025)

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

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

Title: On the Reachability Problem for Two-Dimensional Branching VASS

Clotilde Bizière, Thibault Hilaire, Jérôme Leroux, Grégoire Sutre

Comments: Full version of the paper with the same title and authors to appear in the proceedings of MFCS 2025

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

Mon, 30 Jun 2025 (showing 5 of 5 entries )

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

Title: Bridging Chaos Game Representations and $k$-mer Frequencies of DNA Sequences

Haoze He, Lila Kari, Pablo Millan Arias

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

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

Title: Shape Preserving Tree Transducers

Paul Gallot, Sebastian Maneth

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

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

Title: A Finite-State Symbolic Automaton Model for the Collatz Map and Its Convergence Properties

Leonard Ben Aurel Brauer

Comments: Version 1. A related preprint is available on Zenodo: this https URL. Formalization in Lean is ongoing. Comments appreciated

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

[12] arXiv:2506.22344 (cross-list from cs.CC) [pdf, other]

Title: Nets-within-Nets through the Lens of Data Nets

Francesco Di Cosmo, Soumodev Mal, Tephilla Prince

Comments: 34 pages, 19 figures; fixed typos; corrected lemma 4

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

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

Title: Negated String Containment is Decidable (Technical Report)

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)