iiinova — where your digital self keeps evolving

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 17h

[2026-10-01 Thu (UTC), no new articles found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 30/09/2026

[2026-09-30 Wed (UTC), 1 new article found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 29/09/2026

Takayuki Kuriyama: Observer--Fragmentation--Exposure Tradeoffs: From Rectangular CFG Exposure to Ordered MCFG Scheduling arxiv.org/abs/2609.34560 arxiv.org/pdf/2609.34560 arxiv.org/html/2609.34560

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 29/09/2026

S. Mahmoud Mousawi, Pierluigi San Pietro, Sandra Zilles: Learning Shuffle Ideals with Membership Queries and Contrastive Examples arxiv.org/abs/2609.32820 arxiv.org/pdf/2609.32820 arxiv.org/html/2609.32820

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 29/09/2026

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

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 28/09/2026

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

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 25/09/2026

[2026-09-25 Fri (UTC), no new articles found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 24/09/2026

Shaowen Miao, Jan Komenda, Tom\'a\v{s} Masopust, Yiding Ji: Supervisory Control under Partial Observation: Where Observation Consistency Becomes Decidable arxiv.org/abs/2609.27899 arxiv.org/pdf/2609.27899 arxiv.org/html/2609.27899

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 24/09/2026

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

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 23/09/2026

Antonin Callard, Andrei Romashchenko, V\'eronique Terrier, Pascal Vanier: Recognizable Picture Languages: Separating UREC from coUREC via Communication Complexity arxiv.org/abs/2609.26047 arxiv.org/pdf/2609.26047 arxiv.org/html/2609.26047

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 23/09/2026

[2026-09-23 Wed (UTC), 3 new articles found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 22/09/2026

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

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 21/09/2026

Sarvin Bahmani, Soumyajit Paul, Sven Schewe, Sadegh Soudjani, Ashutosh Trivedi: Automata-Theoretic Verification of Interval Markov Decision Processes arxiv.org/abs/2609.21966 arxiv.org/pdf/2609.21966 arxiv.org/html/2609.21966

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 21/09/2026

Yuki Yonemoto: Quadratic Word Equations with a Linear Side: Polynomial Nielsen Graph Diameter and NP-Completeness arxiv.org/abs/2609.21785 arxiv.org/pdf/2609.21785 arxiv.org/html/2609.21785

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 21/09/2026

[2026-09-21 Mon (UTC), 3 new articles found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 18/09/2026

Vanessa Kosoy: Stringological sequence prediction III: layered ziplines and a tradeoff between efficiency and expressivity arxiv.org/abs/2609.19940 arxiv.org/pdf/2609.19940 arxiv.org/html/2609.19940

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 18/09/2026

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

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 17/09/2026

Atanas Ilchev, Hristo Kiskinov, George Pashev, Boyan Zlatanov: Context-Free Fixed Points and Complete Classification of Orbits in Picard Iteration for Guarded Power Language Operators arxiv.org/abs/2609.18218 arxiv.org/pdf/2609.18218 arxiv.org/html/2609.18218

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 17/09/2026

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

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 16/09/2026

Ziran Wang, Jie An, Naijun Zhan: Mining DTA with SMT by Exploiting Simple Elementary Language and Timed Augmented Prefix Acceptor arxiv.org/abs/2609.16866 arxiv.org/pdf/2609.16866 arxiv.org/html/2609.16866

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 16/09/2026

[2026-09-16 Wed (UTC), 1 new article found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 15/09/2026

Henning Fernau, Sanjay Jain, Linus Richter, Frank Stephan, Dan Turetsky: Non-Terminal Complexity of Simple Semi-Conditional Grammars arxiv.org/abs/2609.14181 arxiv.org/pdf/2609.14181 arxiv.org/html/2609.14181

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 15/09/2026

Kehinde Adeogun, Christos A. Kapoutsis: On 2DFA simulation of 1NFA: A Quadratic Limitation to a New Lower-Bound Method arxiv.org/abs/2609.13793 arxiv.org/pdf/2609.13793 arxiv.org/html/2609.13793

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 15/09/2026

[2026-09-15 Tue (UTC), 4 new articles found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 14/09/2026

Lisa Willemsen, Anne Remke, Johann L. Hurink: Stochastic Hybrid Automata for Power Profile Modeling in Energy Systems arxiv.org/abs/2609.12209 arxiv.org/pdf/2609.12209 arxiv.org/html/2609.12209

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 14/09/2026

[2026-09-14 Mon (UTC), 1 new article found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 11/09/2026

Landon Taylor, Joshua Jeppson, Bingqing Hu, Lukas Buecherl, Zhen Zhang: RAGTIMER 1.0: Rapid Rare-Event Partial State Space Construction for Stochastic VAS (extended version) arxiv.org/abs/2609.11789 arxiv.org/pdf/2609.11789 arxiv.org/html/2609.11789

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 11/09/2026

Luis M. Augusto: Beyond the Turing threshold: Productive grammars generate essentially undecidable languages arxiv.org/abs/2609.11385 arxiv.org/pdf/2609.11385 arxiv.org/html/2609.11385

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 11/09/2026

[2026-09-11 Fri (UTC), 2 new articles found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 10/09/2026

Xiaoyu Li, Andi Han, Jiaojiao Jiang, Junbin Gao: Characterizing Language Generation in the Limit: Finite Witnesses and a Separation-Width Hierarch arxiv.org/abs/2609.10525 arxiv.org/pdf/2609.10525 arxiv.org/html/2609.10525

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 10/09/2026

Jean Leneutre, Dylan Marinho, Vadim Malvone, James Ortiz: Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems arxiv.org/abs/2609.10066 arxiv.org/pdf/2609.10066 arxiv.org/html/2609.10066

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 10/09/2026

[2026-09-10 Thu (UTC), 2 new articles found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 09/09/2026

Yih-Kuen Tsay, Moshe Y. Vardi: From Ramsey-Based to Congruence-Based Constructions for B\"uchi Complementation arxiv.org/abs/2609.06210 arxiv.org/pdf/2609.06210 arxiv.org/html/2609.06210

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 09/09/2026

[2026-09-09 Wed (UTC), 4 new articles found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 08/09/2026

[2026-09-08 Tue (UTC), no new articles found for csFL Formal Languages and Automata Theory]

000

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 07/09/2026

Vincent Ghigo: On the equivalence between generating functions computed by memory transducers and enumerating functions produced by indexed grammars arxiv.org/abs/2609.05002 arxiv.org/pdf/2609.05002 arxiv.org/html/2609.05002

000