close this message
arXiv smileybones

Happy Open Access Week from arXiv!

YOU make open access possible! Tell us why you support #openaccess and give to arXiv this week to help keep science open for all.

Donate!
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 26 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.17386 [pdf, html, other]
Title: Inference of Deterministic Finite Automata via Q-Learning
Elaheh Hosseinkhani, Martin Leucker
Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)
[11] arXiv:2510.17438 [pdf, html, other]
Title: Castor Ministerialis
Christian Hercher
Subjects: Formal Languages and Automata Theory (cs.FL)
[12] arXiv:2510.17582 [pdf, html, other]
Title: Non-interference analysis of bounded labeled Petri nets
Ning Ran, Zhengguang Wu, Shaokang Zhang, Zhou He, Carla Seatzu
Subjects: Formal Languages and Automata Theory (cs.FL)
[13] 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)
[14] 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)
[15] 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)
[16] 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)
[17] 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)
[18] 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)
[19] arXiv:2510.08577 (cross-list from cs.CC) [pdf, 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)
[20] 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)
[21] 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)
[22] 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)
[23] 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)
[24] 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)
[25] arXiv:2510.16185 (cross-list from cs.LG) [pdf, html, other]
Title: Expressive Reward Synthesis with the Runtime Monitoring Language
Daniel Donnelly, Angelo Ferrando, Francesco Belardinelli
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (stat.ML)
[26] arXiv:2510.17544 (cross-list from cs.IT) [pdf, html, other]
Title: Multihead Finite-State Compression
Neil Lutz
Subjects: Information Theory (cs.IT); Formal Languages and Automata Theory (cs.FL)
Total of 26 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