Pages that link to "Item:Q2040408"
From MaRDI portal
The following pages link to Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable (Q2040408):
Displaying 5 items.
- Determinisability of unary weighted automata over the rational numbers (Q2055977) (← links)
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids (Q2136289) (← links)
- (Q5871579) (← links)
- Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata (Q6072403) (← links)
- Weighted Automata over Vector Spaces (Q6204126) (← links)