Lightnews — Scholar-powered news

arXiv cs.FL Formal Languages and Automata Theory

@csfl-bot.bsky.social

6 followers 1 following 760 posts

Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.FL/new List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g

github.com

Posts Media Videos Starter Packs

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

Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions https://arxiv.org/abs/2510.06019 https://arxiv.org/pdf/2510.06019 https://arxiv.org/html/2510.06019

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

[2025-10-08 Wed (UTC), 1 new article found for csFL Formal Languages and Automata Theory]

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Amrita Suresh, Nobuko Yoshida: Unreliability in Practical Subclasses of Communicating Systems https://arxiv.org/abs/2510.03941 https://arxiv.org/pdf/2510.03941 https://arxiv.org/html/2510.03941

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

[2025-10-07 Tue (UTC), no new articles found for csFL Formal Languages and Automata Theory]

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv cs.GT Computer Science and Game Theory @csgt-bot.bsky.social · 2d

Nathalie Bertrand, Patricia Bouyer, Luc Lapointe, Corto Mascle: Reach together: How populations win repeated games https://arxiv.org/abs/2510.02984 https://arxiv.org/pdf/2510.02984 https://arxiv.org/html/2510.02984

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv cs.CL Computation and Language @cscl-bot.bsky.social · 2d

Laura Ying Schulz, Daniel Mitropolsky, Tomaso Poggio: Unraveling Syntax: How Language Models Learn Context-Free Grammars https://arxiv.org/abs/2510.02524 https://arxiv.org/pdf/2510.02524 https://arxiv.org/html/2510.02524

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

[2025-10-06 Mon (UTC), no new articles found for csFL Formal Languages and Automata Theory]

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv math.NT Number Theory @mathnt-bot.bsky.social · 5d

\'Alvaro Bustos-Gajardo, Robbert Fokkink, Reem Yassawi: Cobham's theorem for the Gaussian integers https://arxiv.org/abs/2510.01440 https://arxiv.org/pdf/2510.01440 https://arxiv.org/html/2510.01440

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

Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh Pandya: MightyPPL: Verification of MITL with Past and Pnueli Modalities https://arxiv.org/abs/2510.01490 https://arxiv.org/pdf/2510.01490 https://arxiv.org/html/2510.01490

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

[2025-10-03 Fri (UTC), 1 new article found for csFL Formal Languages and Automata Theory]

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

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

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv cs.SE Software Engineering @csse-bot.bsky.social · 7d

Mohammad Rifat Arefin, Shanto Rahman, Christoph Csallner: Black-box Context-free Grammar Inference for Readable & Natural Grammars https://arxiv.org/abs/2509.26616 https://arxiv.org/pdf/2509.26616 https://arxiv.org/html/2509.26616

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv math.CO Combinatorics @mathco-bot.bsky.social · 7d

John Machacek: Group Actions and Some Combinatorics on Words with $\mathbf{vtm}$ https://arxiv.org/abs/2509.26613 https://arxiv.org/pdf/2509.26613 https://arxiv.org/html/2509.26613

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv math.NT Number Theory @mathnt-bot.bsky.social · 7d

Jeffrey Shallit, Ingrid Vukusic: Balanced Fibonacci word rectangles, and beyond https://arxiv.org/abs/2509.25994 https://arxiv.org/pdf/2509.25994 https://arxiv.org/html/2509.25994

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

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

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv cs.AI Artificial Intelligence @csai-bot.bsky.social · 8d

Gabriel Bathie, Nathana\"el Fijalkow, Th\'eo Matricon, Baptiste Mouillon, Pierre Vandenhove: LTL$_f$ Learning Meets Boolean Set Cover https://arxiv.org/abs/2509.24616 https://arxiv.org/pdf/2509.24616 https://arxiv.org/html/2509.24616

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv cs.IT Information Theory @csit-bot.bsky.social · 8d

Xiang Huang, Xiaoyuan Li, Jack H. Lutz, Neil Lutz: Multihead Finite-State Dimension https://arxiv.org/abs/2509.22912 https://arxiv.org/pdf/2509.22912 https://arxiv.org/html/2509.22912

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv cs.AI Artificial Intelligence @csai-bot.bsky.social · 8d

Sumanth Varambally, Thomas Voice, Yanchao Sun, Zhifeng Chen, Rose Yu, Ke Ye: Hilbert: Recursively Building Formal Proofs with Informal Reasoning https://arxiv.org/abs/2509.22819 https://arxiv.org/pdf/2509.22819 https://arxiv.org/html/2509.22819

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

Marie-Pierre B\'eal, Alexi Block Gorman: One-sided Hom shifts https://arxiv.org/abs/2509.24754 https://arxiv.org/pdf/2509.24754 https://arxiv.org/html/2509.24754

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

Anthony W. Lin, Pablo Barcelo: The Role of Logic and Automata in Understanding Transformers https://arxiv.org/abs/2509.24024 https://arxiv.org/pdf/2509.24024 https://arxiv.org/html/2509.24024

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

[2025-09-30 Tue (UTC), 2 new articles found for csFL Formal Languages and Automata Theory]

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv cs.CL Computation and Language @cscl-bot.bsky.social · 9d

Katsuhiko Hayashi, Hidetaka Kamigaito: From Formal Language Theory to Statistical Learning: Finite Observability of Subregular Languages https://arxiv.org/abs/2509.22598 https://arxiv.org/pdf/2509.22598 https://arxiv.org/html/2509.22598

Reposted by arXiv cs.FL Formal Languages and Automata Theory

arXiv cs.CR Cryptography and Security @cscr-bot.bsky.social · 9d

Stefan Marksteiner, Mikael Sj\"odin, Marjan Sirjani: Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking https://arxiv.org/abs/2509.22215 https://arxiv.org/pdf/2509.22215 https://arxiv.org/html/2509.22215

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

Jaouhar Slimi, Tristan Le Gall, Augustin Lemesle: Passive Learning of Lattice Automata from Recurrent Neural Networks https://arxiv.org/abs/2509.22489 https://arxiv.org/pdf/2509.22489 https://arxiv.org/html/2509.22489

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

Andrew Duncan, Murray Elder, Lisa Frenkel, Mengfan Lyu: Permutation closure for multiple context-free languages https://arxiv.org/abs/2509.22239 https://arxiv.org/pdf/2509.22239 https://arxiv.org/html/2509.22239