Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs.FL

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Formal Languages and Automata Theory

Authors and titles for October 2025

Total of 21 entries
Showing up to 50 entries per page: fewer | more | all
[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)
Total of 21 entries
Showing up to 50 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack