A SYNTACTICAL PROOF OF LOCALITY OF DA
Jorge Almeida · International Journal of Algebra and Computation · 1996
Using purely syntactical arguments, it is shown that every nontrivial pseudovariety of monoids contained in DO whose corresponding variety of languages is closed under unambiguous product, for instance DA, is local in the sense of Tilson.