We gratefully acknowledge support from
the Simons Foundation and member institutions.

Formal Languages and Automata Theory

Authors and titles for recent submissions

[ total of 18 entries: 1-18 ]
[ showing up to 25 entries per page: fewer | more ]

Wed, 4 Feb 2026

[1]  arXiv:2602.03643 [pdf, ps, other]
Title: A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
Authors: Elisabetta De Maria, Christopher Leturc
Subjects: Formal Languages and Automata Theory (cs.FL)
[2]  arXiv:2602.03550 (cross-list from cs.SE) [pdf, ps, other]
Title: Formal Evidence Generation for Assurance Cases for Robotic Software Models
Authors: Fang Yan, Simon Foster, Ana Cavalcanti, Ibrahim Habli, James Baxter
Comments: This is a preprint. The paper is currently under review at Software and Systems Modeling
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Robotics (cs.RO)
[3]  arXiv:2602.02940 (cross-list from math.LO) [pdf, ps, other]
Title: A vector logic for intensional formal semantics
Authors: Daniel Quigley
Comments: 25 pages; 68 sources
Subjects: Logic (math.LO); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[4]  arXiv:2602.02909 (cross-list from cs.AI) [pdf, ps, other]
Title: Reasoning about Reasoning: BAPO Bounds on Chain-of-Thought Token Complexity in LLMs
Authors: Kiran Tomlinson, Tobias Schnabel, Adith Swaminathan, Jennifer Neville
Comments: 28 pages
Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)
[5]  arXiv:2602.02698 (cross-list from quant-ph) [pdf, ps, other]
Title: Compiling Quantum Regular Language States
Authors: Armando Bellante, Reinis Irmejs, Marta Florido-Llinàs, María Cea Fernández, Marianna Crupi, Matthew Kiser, J. Ignacio Cirac
Comments: Code available at this https URL
Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL)

Tue, 3 Feb 2026

[6]  arXiv:2602.02447 [pdf, ps, other]
Title: Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
Authors: Thomas M. Prinz, Christopher T. Schwanen, Wil M.P. van der Aalst
Comments: 38 pages, 18 figures
Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)
[7]  arXiv:2602.02352 [pdf, ps, other]
Title: Well-Formed Free-Choice Petri Nets Revisited
Authors: Petr Jancar, Eike Best, Raymond Devillers, Matej Ostadal
Subjects: Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:2602.01221 [pdf, ps, other]
Title: A Complexity Bound for Determinisation of Min-Plus Weighted Automata
Authors: Shaull Almagor, Guy Arbel, Sarai Sheinvald
Subjects: Formal Languages and Automata Theory (cs.FL)
[9]  arXiv:2602.01199 [pdf, ps, other]
Title: On Normality and Equidistribution for Separator Enumerators
Authors: Subin Pulari
Subjects: Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:2602.00036 (cross-list from nlin.CG) [pdf, ps, other]
Title: LOGOS-CA: A Cellular Automaton Using Natural Language as State and Rule
Authors: Keishu Utimula
Subjects: Cellular Automata and Lattice Gases (nlin.CG); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Neural and Evolutionary Computing (cs.NE)

Mon, 2 Feb 2026

[11]  arXiv:2601.23130 [pdf, ps, other]
Title: Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
Authors: Robin Bergenthum, Jakub Kovář
Subjects: Formal Languages and Automata Theory (cs.FL)
[12]  arXiv:2601.23156 (cross-list from cs.LG) [pdf, ps, other]
Title: Unsupervised Hierarchical Skill Discovery
Authors: Damion Harvey (1), Geraud Nangue Tasse (1 and 2), Branden Ingram (1 and 2), Benjamin Rosman (1 and 2), Steven James (1 and 2) ((1) University of the Witwatersrand, Johannesburg, South Africa, (2) Machine Intelligence and Neural Discovery (MIND) Institute, University of the Witwatersrand, Johannesburg, South Africa)
Comments: 24 pages, 34 figures. Appendix by Damion Harvey. Damion Harvey is the primary author
Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL)
[13]  arXiv:2601.22402 (cross-list from cs.CL) [pdf, ps, other]
Title: Bifocal Attention: Harmonizing Geometric and Spectral Positional Embeddings for Algorithmic Generalization
Authors: Kanishk Awadhiya
Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)

Fri, 30 Jan 2026

[14]  arXiv:2601.21862 [pdf, ps, other]
Title: Cellular Automaton Reducibility as a Measure of Complexity for Infinite Words
Authors: Markel Zubia, Herman Geuvers
Comments: 34 pages, 5 figures
Subjects: Formal Languages and Automata Theory (cs.FL)

Wed, 28 Jan 2026

[15]  arXiv:2601.19809 [pdf, ps, other]
Title: Commutative algebras of series
Authors: Lorenzo Clemente
Comments: under submission
Subjects: Formal Languages and Automata Theory (cs.FL)
[16]  arXiv:2601.19466 [pdf, ps, other]
Title: The complexity of downward closures of indexed languages
Authors: Richard Mandel, Corto Mascle, Georg Zetzsche
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[17]  arXiv:2601.19271 [pdf, ps, other]
Title: Etude des morphismes pr{é}servant les mots primitifs
Authors: Francis Wlazinski (UPJV)
Comments: in French language
Subjects: Formal Languages and Automata Theory (cs.FL)
[18]  arXiv:2601.19467 (cross-list from cs.LO) [pdf, ps, other]
Title: On the Expressiveness of State Space Models via Temporal Logics
Authors: Eric Alsmann, Lowejatan Noori, Martin Lange
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)
[ total of 18 entries: 1-18 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2602, contact, help  (Access key information)