On the minimization problem for ω-automata
From MaRDI portal
Publication:5096909
DOI10.1007/3-540-58338-6_97zbMath1493.68193MaRDI 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
68Q45: Formal languages and automata
Cites Work