arXiv cs.FL Formal Languages and Automata Theory

Eric Goles, Augusto Modanese, Mart\'in R\'ios-Wilson, Domingo Ruiz-Tala, Thomas Worsch: Embedding arbitrary Boolean circuits into fungal automata with arbitrary update sequences https://arxiv.org/abs/2602.19477 https://arxiv.org/pdf/2602.19477 https://arxiv.org/html/2602.19477

Tristan Kneisel, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume: NILE: Formalizing Natural-Language Descriptions of Formal Languages https://arxiv.org/abs/2602.19743 https://arxiv.org/pdf/2602.19743 https://arxiv.org/html/2602.19743

[2026-02-24 Tue (UTC), 1 new article found for csFL Formal Languages and Automata Theory]

Antoine Cuvelier, R\'emi Morvan: A Dichotomy Theorem for Automatic Structures https://arxiv.org/abs/2602.18238 https://arxiv.org/pdf/2602.18238 https://arxiv.org/html/2602.18238

Krasimir Yordzhev: On A. V. Anisimov's problem for finding a polynomial algorithm checking inclusion of context-free languages in group languages https://arxiv.org/abs/2602.18305 https://arxiv.org/pdf/2602.18305 https://arxiv.org/html/2602.18305

Louwe B. Kuijer, David Purser, Henry Sinclair-Banks, Patrick Totzke: History-Constrained Systems https://arxiv.org/abs/2602.18143 https://arxiv.org/pdf/2602.18143 https://arxiv.org/html/2602.18143

[2026-02-23 Mon (UTC), 2 new articles found for csFL Formal Languages and Automata Theory]

Tannaz Zameni, Petra van den Bos, Arend Rensink: Disjunction Composition of BDD Transition Systems for Model-Based Testing https://arxiv.org/abs/2602.17237 https://arxiv.org/pdf/2602.17237 https://arxiv.org/html/2602.17237

Stavros Konstantinidis: Some Remarks on Marginal Code Languages https://arxiv.org/abs/2602.17309 https://arxiv.org/pdf/2602.17309 https://arxiv.org/html/2602.17309

[2026-02-20 Fri (UTC), 1 new article found for csFL Formal Languages and Automata Theory]

Hongjian Jiang, Matthew Hague, Philipp R\"ummer, Anthony Widjaja Lin: Synthesis and Verification of Transformer Programs https://arxiv.org/abs/2602.16473 https://arxiv.org/pdf/2602.16473 https://arxiv.org/html/2602.16473

Mutsunori Banbara, Hideo Bannai, Peaker Guo, Dominik K\"oppl, Takuya Mieno, Yoshio Okamoto: The Smallest String Attractors of Fibonacci and Period-Doubling Words https://arxiv.org/abs/2602.16152 https://arxiv.org/pdf/2602.16152 https://arxiv.org/html/2602.16152

Thorsten Wi{\ss}mann: Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda https://arxiv.org/abs/2602.16427 https://arxiv.org/pdf/2602.16427 https://arxiv.org/html/2602.16427

[2026-02-19 Thu (UTC), 1 new article found for csFL Formal Languages and Automata Theory]

Wojciech Czerwi\'nski, Roland Guttenberg, {\L}ukasz Orlikowski, Henry Sinclair-Banks, Yangluo Zheng: Exploring VASS Parameterised by Geometric Dimension https://arxiv.org/abs/2602.15483 https://arxiv.org/pdf/2602.15483 https://arxiv.org/html/2602.15483

Andrea Manini, Matteo Rossi, Pierluigi San Pietro: TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version) https://arxiv.org/abs/2602.15435 https://arxiv.org/pdf/2602.15435 https://arxiv.org/html/2602.15435

[2026-02-18 Wed (UTC), 2 new articles found for csFL Formal Languages and Automata Theory]

Chatavut Viriyasuthee: Computability of Agentic Systems https://arxiv.org/abs/2602.13222 https://arxiv.org/pdf/2602.13222 https://arxiv.org/html/2602.13222

Antoine Amarilli, Sven Dziadek, Luc Segoufin: Constant-Time Dynamic Enumeration of Word Infixes in a Regular Language https://arxiv.org/abs/2602.14748 https://arxiv.org/pdf/2602.14748 https://arxiv.org/html/2602.14748

Jorge Miguel Silva: Geometric Characterization of Context-Free Intersections via the Inner Segment Dichotomy https://arxiv.org/abs/2602.14722 https://arxiv.org/pdf/2602.14722 https://arxiv.org/html/2602.14722

Jaime Cuartas Granada, Alexey Ignatiev, Peter J. Stuckey: A Formal Framework for the Explanation of Finite Automata Decisions https://arxiv.org/abs/2602.13351 https://arxiv.org/pdf/2602.13351 https://arxiv.org/html/2602.13351

[2026-02-17 Tue (UTC), 3 new articles found for csFL Formal Languages and Automata Theory]

Thomas Boudier, Fabian Kuhn, Augusto Modanese, Ronja Stimpert, Jukka Suomela: Classification of Local Optimization Problems in Directed Cycles https://arxiv.org/abs/2602.13046 https://arxiv.org/pdf/2602.13046 https://arxiv.org/html/2602.13046

Jinwoo Kim, Taylor Berg-Kirkpatrick, Loris D'Antoni: Continuous Diffusion Models Can Obey Formal Syntax https://arxiv.org/abs/2602.12468 https://arxiv.org/pdf/2602.12468 https://arxiv.org/html/2602.12468

Mohammed Adib Oumer, Vishnu Murali, Majid Zamani: Interpolation-Inspired Closure Certificates https://arxiv.org/abs/2602.12436 https://arxiv.org/pdf/2602.12436 https://arxiv.org/html/2602.12436

Antoine Amarilli, Sebastien Labbe, Charles Paperman: Out-of-Order Membership to Regular Languages https://arxiv.org/abs/2602.13100 https://arxiv.org/pdf/2602.13100 https://arxiv.org/html/2602.13100

Lucas Ondel Yang, Tina Raissi, Martin Kocour, Pablo Riera, Caio Corro: Fast and General Automatic Differentiation for Finite-State Methods https://arxiv.org/abs/2602.12300 https://arxiv.org/pdf/2602.12300 https://arxiv.org/html/2602.12300

[2026-02-16 Mon (UTC), 2 new articles found for csFL Formal Languages and Automata Theory]

Zhiyong Chen, Jialun Cao, Chang Xu, Shing-Chi Cheung: ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair https://arxiv.org/abs/2602.12058 https://arxiv.org/pdf/2602.12058 https://arxiv.org/html/2602.12058

Victor Marsault, Antoine Meyer: Designing and Comparing RPQ Semantics https://arxiv.org/abs/2602.11949 https://arxiv.org/pdf/2602.11949 https://arxiv.org/html/2602.11949