Formal Languages and Automata Theory

Authors and titles for recent submissions

• Wed, 23 Apr 2025
• Tue, 22 Apr 2025
• Mon, 21 Apr 2025
• Fri, 18 Apr 2025
• Thu, 17 Apr 2025

See today's new changes

Wed, 23 Apr 2025 (showing 2 of 2 entries )

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

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

Peter Fletcher

Comments: 64 pages, 23 figures

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

[2] 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)

Tue, 22 Apr 2025 (showing 1 of 1 entries )

[3] 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)

Mon, 21 Apr 2025 (showing 4 of 4 entries )

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

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

Stefan Kiefer, Andrew Ryzhikov

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

[5] 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)

[6] 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: 30 pages, 2 tables, 1 figure, under review in Natural Computing

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

[7] arXiv:2504.13433 (cross-list from math.CO) [pdf, html, other]

Title: A Recursive Block Pillar Structure in the Kolakoski Sequence K(1,3)

William Cook

Comments: 8 pages, no figures. Undergraduate research. Includes full proofs and references

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

Fri, 18 Apr 2025 (showing 1 of 1 entries )

[8] 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)

Thu, 17 Apr 2025

No updates for this time period.