scientific article; zbMATH DE number 599132

MaRDI QIDQ4297397zbMATH OpenFDO

Authors Hugues Calbrix, M. Nivat, Andreas Podelski

Publication date 22 September 1994

zbMATH Keywords

syntactic congruencesultimately periodic wordsrational \(\omega\)-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semigroups in automata theory, linguistics, etc. (20M35)

Recommendations

• Ultimately periodic words of rational ω-languages
• Characterizations of rational \(\omega\)-languages by means of right congruences
• A syntactic congruence for rational \(\omega\)-languages
• scientific article; zbMATH DE number 5051550
• scientific article; zbMATH DE number 512864

Cited in

(11)

• Approximate verification of the symbolic dynamics of Markov chains
• scientific article; zbMATH DE number 5051550 (Why is no real title available?)
• Representing regular languages of infinite words using mod 2 multiplicity automata
• Query learning of derived \(\omega\)-tree languages in polynomial time
• Antichains algorithms for the inclusion problem between \(\omega\)-VPL
• Ultimately periodic words of rational ω-languages
• A theory of ultimately periodic languages and automata with an application to time granularity
• Reduced Languages as ω-Generators
• Learning regular omega languages
• Deciding monadic second order logic over \(\omega \)-words by specialized finite automata
• Quasi-periodic \(\beta\)-expansions and cut languages

This page was built for publication:

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