Abstract
A regular language is almost fully characterized by its right congruencerelation. Indeed, a regular language can always be recognized by a DFAisomorphic to the automaton corresponding to its right congruence, henceforththe Rightcon automaton. The same does not hold for regular omega-languages. Theright congruence of a regular omega-language is not informative enough; manyregular omega-languages have a trivial right congruence, and in general it isnot always possible to define an omega-automaton recognizing a given languagethat is isomorphic to the rightcon automaton. The class of weak regular omega-languages does have an informative rightcongruence. That is, any weak regular omega-language can always be recognizedby a deterministic B\"uchi automaton that is isomorphic to the rightconautomaton. Weak regular omega-languages reside in the lower levels of theexpressiveness hierarchy of regular omega-languages. Are there more expressivesub-classes of regular omega languages that have an informative rightcongruence? Can we fully characterize the class of languages with a trivialright congruence? In this paper we try to place some additional pieces of thisbig puzzle.