No Access
A SYNTACTICAL PROOF OF LOCALITY OF DA
https://doi.org/10.1142/S021819679600009XCited by:41 (Source: Crossref)
Abstract
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.
This work was supported, in part, by the ESPRIT-BRA Working Group 6317 “ASMICS” and by JNICT through the project “SAL” (PBIC/C/CEN/1021/92).
AMSC: 20M35, 20M07, 18B40, 20M05
