Abstract
The family of locally testable languages has been extensively studied. We propose an extension of the notion of local testability from the free monoid to the free partially commutative monoid (the so called trace monoid). We show that to formalize the notion of locality in traces is conceptually difficult, and we introduce a new kind of factor which takes into account these difficulties. Thus we define a locally testable trace language as a union of classes of a new equivalence relation of a finite index, which is proved to be a congruence using some combinatorics on traces. Then we give a set-theoretic characterization of the family of locally testable trace languages, in terms of some sets called here quasi-ideals, as a generalization of ideals in words. Finally, analyzing the extreme cases of the free monoid and the free commutative monoid, we prove that this new family becomes exactly that of locally testables languages in the case of words.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
