English

Enumerating regular languages in radix order : Revisiting the Ackerman-Shallit algorithm

Formal Languages and Automata Theory 2023-10-23 v1

Abstract

We consider the problem of enumerating a regular language LL in radix order, or more precisely, the equivalent problem of enumerating all words in LL of a given length in lexicographic order. Ackerman and Shallit gave in 2009 the principles of an efficient solution to this problem, but they did not use the enumeration complexity framework for their analysis. We adapt their work into an explicit algorithm that fits this framework.

Keywords

Cite

@article{arxiv.2310.13309,
  title  = {Enumerating regular languages in radix order : Revisiting the Ackerman-Shallit algorithm},
  author = {Nadime Francis and Victor Marsault},
  journal= {arXiv preprint arXiv:2310.13309},
  year   = {2023}
}

Comments

8 pages

R2 v1 2026-06-28T12:56:33.225Z