Characterizations of rational -languages by means of right congruences

DOI10.1016/0304-3975(95)80022-2MaRDI QIDQ673632zbMATH OpenOpenAlexFDO

Authors Do Long Van, Bertrand Le Saëc, Igor Litovsky

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(95)80022-2

zbMATH Keywords

rational \(\omega\)-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)

Recommendations

• On syntactic congruences for \(\omega\)-languages
• scientific article; zbMATH DE number 599132
• A syntactic congruence for rational \(\omega\)-languages
• scientific article; zbMATH DE number 512864

Cites work

• scientific article; zbMATH DE number 3862473 (Why is no real title available?)
• scientific article; zbMATH DE number 3976377 (Why is no real title available?)
• scientific article; zbMATH DE number 3471986 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 512864 (Why is no real title available?)
• scientific article; zbMATH DE number 3186871 (Why is no real title available?)
• A syntactic congruence for rational \(\omega\)-languages
• Decision problems forω-automata
• Finite-state \(\omega\)-languages
• On ω-regular sets
• SEMIGROUPS WITH IDEMPOTENT STABILIZERS AND APPLICATIONS TO AUTOMATA THEORY
• Saturating right congruences
• Testing and generating infinite sequences by a finite automaton
• The three subfamilies of rational \(\omega\)-languages closed under \(\omega\)-transduction

Cited in

(12)

• scientific article; zbMATH DE number 4078833 (Why is no real title available?)
• On languages defined by generalized principal right congruences
• scientific article; zbMATH DE number 7447748 (Why is no real title available?)
• Regular \(\omega\)-languages with an informative right congruence
• On the minimization problem for \(\omega \)-automata
• The greatest fixed-points and rational omega-tree languages
• scientific article; zbMATH DE number 599132 (Why is no real title available?)
• Saturating right congruences
• A syntactic congruence for rational \(\omega\)-languages
• scientific article; zbMATH DE number 5051550 (Why is no real title available?)
• Characterizations of right dense languages
• On syntactic congruences for \(\omega\)-languages

This page was built for publication: Characterizations of rational \(\omega\)-languages by means of right congruences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673632)