Congruences defined by languages and filters

Abstract. The usual right congruence ~L can be generalized in the following manner: x ~_{\cal{L},L} y iff {z | xz \in L iff yz \in \cal{L} }, where \cal{L} is a family of languages. It turns out to be useful when \cal{L} is a filter with an additional property. Furthermore semifilters are introduced and studied. It is also possible to define congruences by filters. Assuming the (right) congruences to have finite index yields a generalization of the regular sets.
helmut@gauss.cam.wits.ac.za,

This paper is not available on this server.
(Back to List of Papers)