Formal Languages and Automata Theory

Authors and titles for recent submissions

• Wed, 11 Feb 2026
• Tue, 10 Feb 2026
• Mon, 9 Feb 2026
• Fri, 6 Feb 2026
• Thu, 5 Feb 2026

See today's new changes

Wed, 11 Feb 2026 (showing 4 of 4 entries )

[1] arXiv:2602.10036 [pdf, html, other]

Title: Automata on Graph Alphabets

Hugo Bazille, Uli Fahrenberg

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

[2] arXiv:2602.09896 [pdf, other]

Title: Eve-positional languages: putting order into Büchi automata

Olivier Idir

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

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

Title: The Similarity Control Problem with Required Events

Yu Wang, Zhaohui Zhu, Rob van Glabbeekd, Jinjin Zhang, Yixuan Li

Comments: 12 pages

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

[4] arXiv:2602.09197 [pdf, other]

Title: Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking

Elaine Li, Felix Stutz

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

Tue, 10 Feb 2026 (showing 3 of 3 entries )

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

Title: Wheeler Bisimulations

Nicola Cotumaccio

Subjects: Formal Languages and Automata Theory (cs.FL); Data Structures and Algorithms (cs.DS)

[6] arXiv:2602.08549 (cross-list from cs.GT) [pdf, html, other]

Title: An Automata-Based Approach to Games with $ω$-Automatic Preferences

Véronique Bruyère, Emmanuel Filiot, Christophe Grandmont, Jean-François Raskin

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

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

Title: Computing the Reachability Value of Posterior-Deterministic POMDPs

Nathanaël Fijalkow, Arka Ghosh, Roman Kniazev, Guillermo A. Pérez, Pierre Vandenhove

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

Mon, 9 Feb 2026

No updates for this time period.

Fri, 6 Feb 2026 (showing 1 of 1 entries )

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

Title: Templated Assembly Theory: An Extension of the Canonical Assembly Index with Block-Compressed Template

Piotr Masierak

Comments: 16 pages

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

Thu, 5 Feb 2026 (showing 1 of 1 entries )

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

Title: A categorical framework for cellular automata

A. Castillo-Ramirez, A. Vazquez-Aceves, A. Zaldivar-Corichi

Comments: 22 pages

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