Complexity of Atoms, Combinatorially
Formal Languages and Automata Theory
2015-06-03 v3
Abstract
Atoms of a (regular) language were introduced by Brzozowski and Tamm in 2011 as intersections of complemented and uncomplemented quotients of . They derived tight upper bounds on the complexity of atoms in 2013. In 2014, Brzozowski and Davies characterized the regular languages meeting these bounds. To achieve these results, they used the so-called "atomaton" of a language, introduced by Brzozowski and Tamm in 2011. In this note we give an alternative proof of their characterization, via a purely combinatorial approach.
Cite
@article{arxiv.1404.6632,
title = {Complexity of Atoms, Combinatorially},
author = {Szabolcs Ivan},
journal= {arXiv preprint arXiv:1404.6632},
year = {2015}
}