On the minimization problem for ω-automata

DOI10.1007/3-540-58338-6_97zbMath1493.68193OpenAlexW2283972599MaRDI QIDQ5096909

Igor Litovsky, Bertrand Le Saëc

Publication date: 18 August 2022

Published in: Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58338-6_97

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite-state \(\omega\)-languages
• Saturating right congruences
• SEMIGROUPS WITH IDEMPOTENT STABILIZERS AND APPLICATIONS TO AUTOMATA THEORY
• Testing and generating infinite sequences by a finite automaton

This page was built for publication: On the minimization problem for ω-automata