Formal Languages and Automata Theory

Authors and titles for recent submissions

• Fri, 21 Jun 2024
• Wed, 19 Jun 2024
• Tue, 18 Jun 2024
• Mon, 17 Jun 2024
• Fri, 14 Jun 2024

See today's new changes

Fri, 21 Jun 2024 (showing 4 of 4 entries )

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

Title: Information-flow Interfaces and Security Lattices

Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

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

[2] arXiv:2406.13797 [pdf, html, other]

Title: Quantum automata and languages of finite index

Andrea Benso, Flavio D'Alessandro, Paolo Papi

Comments: arXiv admin note: text overlap with arXiv:1303.2967

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

[3] arXiv:2406.14305 (cross-list from cs.LO) [pdf, html, other]

Title: Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)

Keisuke Nakano, Munehiro Iwami

Comments: This is the full version of the corresponding CIAA 2024 paper

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[4] arXiv:2406.14197 (cross-list from cs.CL) [pdf, other]

Title: On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning

Franz Nowak, Anej Svete, Alexandra Butoi, Ryan Cotterell

Comments: To be published at ACL 2024

Subjects: Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)

Wed, 19 Jun 2024 (showing 2 of 2 entries )

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

Title: Computing the Bandwidth of Meager Timed Automata

Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán

Comments: Extended version of CIAA'24 accepted paper

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

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

Title: LLM-Oracle Machines

Jie Wang

Comments: 4 pages

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

Tue, 18 Jun 2024 (showing 3 of 3 entries )

[7] arXiv:2406.11488 [pdf, html, other]

Title: Reversible Transducers over Infinite Words

Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna

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

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

Title: A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata

Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki

Comments: 6 pages, 1 figure, this is a longer version of a short paper submitted to IEICE Transactions on Information and Systems

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[9] arXiv:2406.11360 (cross-list from quant-ph) [pdf, other]

Title: A Representative Framework for Implementing Quantum Finite Automata on Real Devices

Aliya Khadieva, Özlem Salehi, Abuzer Yakaryılmaz

Comments: Proceedings of UCNC 2024

Journal-ref: UCNC 2024, LNCS 14776, 2024

Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL)

Mon, 17 Jun 2024 (showing 1 of 1 entries )

[10] arXiv:2406.09868 [pdf, html, other]

Title: Addition in Dumont-Thomas Numeration Systems in Theory and Practice

Olivier Carton, Jean-Michel Couvreur, Martin Delacourt, Nicolas Ollinger

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

Fri, 14 Jun 2024 (showing 1 of 1 entries )

[11] arXiv:2406.09302 (cross-list from math.CO) [pdf, html, other]

Title: The reflection complexity of sequences over finite alphabets

Jean-Paul Allouche, John M. Campbell, Jeffrey Shallit, Manon Stipulanti

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)