Formal Languages and Automata Theory

Authors and titles for recent submissions

• Fri, 1 Aug 2025
• Thu, 31 Jul 2025
• Wed, 30 Jul 2025
• Tue, 29 Jul 2025
• Mon, 28 Jul 2025

See today's new changes

Fri, 1 Aug 2025

No updates for this time period.

Thu, 31 Jul 2025 (showing 1 of 1 entries )

[1] arXiv:2507.22437 (cross-list from math.NT) [pdf, html, other]

Title: On the growth of hypergeometric sequences

George Kenison, Jakub Konieczny, Florian Luca, Andrew Scoones, Mahsa Shirmohammadi, James Worrell

Comments: 22 pages

Subjects: Number Theory (math.NT); Formal Languages and Automata Theory (cs.FL)

Wed, 30 Jul 2025

No updates for this time period.

Tue, 29 Jul 2025 (showing 2 of 2 entries )

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

Title: Self-Verifying Predicates in Büchi Arithmetic

Mazen Khodier, Luke Schaeffer, Jeffrey Shallit

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

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

Title: On Higher Order Busy Beaver Function

Zining Cao

Comments: 7 pages

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

Mon, 28 Jul 2025 (showing 1 of 1 entries )

[4] arXiv:2507.18779 (cross-list from math.DS) [pdf, html, other]

Title: Maximizing entropy for power-free languages

Vaughn Climenhaga

Comments: 23 pages, 3 figures

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