On the minimization problem for -automata
From MaRDI portal
Publication:5096909
DOI10.1007/3-540-58338-6_97zbMATH Open1493.68193OpenAlexW2283972599MaRDI QIDQ5096909FDOQ5096909
Authors: Bertrand Le Saëc, Igor Litovsky 
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
Recommendations
- Efficient minimization of deterministic weak \(\omega\)-automata
- Characterizations of rational \(\omega\)-languages by means of right congruences
- scientific article; zbMATH DE number 604887
- Factorizations and universal automaton of omega languages
- Factorizations and universal automaton of omega languages
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Testing and generating infinite sequences by a finite automaton
- Finite-state \(\omega\)-languages
- Saturating right congruences
- Title not available (Why is that?)
- SEMIGROUPS WITH IDEMPOTENT STABILIZERS AND APPLICATIONS TO AUTOMATA THEORY
Cited In (14)
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata
- Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique
- Efficient minimization of deterministic weak \(\omega\)-automata
- A maxmin problem on finite automata
- Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
- A Canonical Form for Weighted Automata and Applications to Approximate Minimization
- Factorizations and universal automaton of omega languages
- Factorizations and universal automaton of omega languages
- Surminimisation of automata
- Formal Modeling and Analysis of Timed Systems
- On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words
- Efficient algorithms for morphisms over omega-regular languages
- SAT-based minimization of deterministic \(\omega \)-automata
- Translation of semi-extended regular expressions using derivatives
This page was built for publication: On the minimization problem for \(\omega \)-automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096909)
