On the Complexity of Equivalence and Minimisation for Q-weighted Automata (Q4913771)
From MaRDI portal
scientific article; zbMATH DE number 6152238
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Complexity of Equivalence and Minimisation for Q-weighted Automata |
scientific article; zbMATH DE number 6152238 |
Statements
On the Complexity of Equivalence and Minimisation for Q-weighted Automata (English)
0 references
9 April 2013
0 references
weighted automata
0 references
equivalence checking
0 references
polynomial identity testing
0 references
minimisation
0 references
