Efficient minimization of deterministic weak \(\omega\)-automata (Q1603452)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Efficient minimization of deterministic weak \(\omega\)-automata |
scientific article; zbMATH DE number 1767340
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient minimization of deterministic weak \(\omega\)-automata |
scientific article; zbMATH DE number 1767340 |
Statements
Efficient minimization of deterministic weak \(\omega\)-automata (English)
0 references
14 July 2002
0 references
automaton minimization
0 references
Computational complexity
0 references
Algorithms
0 references
