Characterizations of Rational omega-Languages by Means of Right Congruences

Do Long Van, Bertrand Le Saƫc, Igor Litovsky. Characterizations of Rational omega-Languages by Means of Right Congruences. Theoretical Computer Science, 143(1):1-21, 1995. [doi]

Abstract

Abstract is missing.