Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata (Q6072403)
From MaRDI portal
scientific article; zbMATH DE number 7749892
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata |
scientific article; zbMATH DE number 7749892 |
Statements
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata (English)
0 references
13 October 2023
0 references
strong bimonoid
0 references
semiring
0 references
weighted finite automaton
0 references
finite-image property
0 references
decidability
0 references
undecidability
0 references
0 references
0 references