Formal Languages and Automata Theory

Authors and titles for October 2025

[1] arXiv:2510.01490 [pdf, other]

Title: MightyPPL: Verification of MITL with Past and Pnueli Modalities

Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh Pandya

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

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

Title: Iterating Non-Aggregative Structure Compositions

Marius Bozga, Radu Iosif, Florian Zuleger

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

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

Title: Languages of Words of Low Automatic Complexity Are Hard to Compute

Joey Chen, Bjørn Kjos-Hanssen, Ivan Koswara, Linus Richter, Frank Stephan

Comments: 22 pages, 1 figure

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

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

Title: On the Complexity of Language Membership for Probabilistic Words

Antoine Amarilli, Mikaël Monet, Paul Raphaël, Sylvain Salvati

Comments: 35 pages including 1 title page, 15 pages of main text, 4 pages of reference, and appendix

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

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

Title: The Tribonacci constant and finite automata

Jeffrey Shallit

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

[6] arXiv:2510.12481 [pdf, other]

Title: Bringing Algebraic Hierarchical Decompositions to Concatenative Functional Languages

Attila Egri-Nagy

Comments: 7 pages, 6 figures, final version will be published elsewhere

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

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

Title: Decidability and Characterization of Expansivity for Group Cellular Automata

Niccolo' Castronuovo, Alberto Dennunzio, Luciano Margara

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

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

Title: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics

S. Akshay, Prerak Contractor, Paul Gastin, R. Govind, B. Srivathsan

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

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

Title: On the order of lazy cellular automata

Edgar Alcalá-Arroyo, Alonso Castillo-Ramirez

Comments: 12 pages

Subjects: Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS); Group Theory (math.GR); Cellular Automata and Lattice Gases (nlin.CG)

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

Title: Cobham's theorem for the Gaussian integers

Álvaro Bustos-Gajardo, Robbert Fokkink, Reem Yassawi

Comments: 15 pages, 2 figures

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

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

Title: Unraveling Syntax: How Language Models Learn Context-Free Grammars

Laura Ying Schulz, Daniel Mitropolsky, Tomaso Poggio

Comments: Equal contribution by LYS and DM

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

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

Title: Reach together: How populations win repeated games

Nathalie Bertrand, Patricia Bouyer, Luc Lapointe, Corto Mascle

Subjects: Computer Science and Game Theory (cs.GT); Formal Languages and Automata Theory (cs.FL)

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

Title: Unreliability in Practical Subclasses of Communicating Systems

Amrita Suresh, Nobuko Yoshida

Comments: A full version of the same titled paper published in the FSTTCS'25 proceeding

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

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

Title: Homomorphism Problems in Graph Databases and Automatic Structures

Rémi Morvan

Comments: Ph.D. thesis defended on 3 July 2025 at Université de Bordeaux

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

[15] arXiv:2510.08342 (cross-list from nlin.CG) [pdf, html, other]

Title: Self-replication and Computational Universality

Jordan Cotler, Clément Hongler, Barbora Hudcová

Comments: 9+67 pages, 32 figures

Subjects: Cellular Automata and Lattice Gases (nlin.CG); Formal Languages and Automata Theory (cs.FL); Adaptation and Self-Organizing Systems (nlin.AO)

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

Title: Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations

Rafig Huseynzade

Comments: 60 pages, 6 figures. Includes dual formalizations in Lean and Isabelle, a Zero-Risk Map appendix, and CI-based stress tests; canonical statements fixed; alternates documented. Supplementary code and scripts: this https URL

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

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

Title: MASA: LLM-Driven Multi-Agent Systems for Autoformalization

Lan Zhang, Marco Valentino, André Freitas

Comments: EMNLP 2025 Demo camera-ready. Code and data are available at: this https URL

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

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

Title: RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems

Hyundong Jin, Joonghyuk Hahn, Yo-Sub Han

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

[19] arXiv:2510.11007 (cross-list from cs.PL) [pdf, html, other]

Title: Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)

Antonina Nepeivoda, Ilya Afanasyev

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

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

Title: On a sequence of Kimberling and its relationship to the Tribonacci word

Lubomíra Dvořáková, Edita Pelantová, Jeffrey Shallit

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

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

Title: Flavors of Quantifiers in Hyperlogics

Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa

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