A syntactic congruence for rational ω-languages

• 31 December 1985
• journal article
• research article
• Published by Elsevier in Theoretical Computer Science
• Vol. 39, 333-335
• https://doi.org/10.1016/0304-3975(85)90148-3

Abstract

Keywords

• SYNTACTIC CONGRUENCE
• FINITE
• SATURATED
• RATIONAL Ω
• LANGUAGES BÜCHI