The following pages link to Weighted automata (Q2074206):
Displayed 14 items.
- Determinisability of unary weighted automata over the rational numbers (Q2055977) (← links)
- On some decidability questions concerning supports of rational series (Q2094367) (← links)
- Finite ambiguity and finite sequentiality in weighted automata over fields (Q2097226) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- Weight Assignment Logic (Q3451120) (← links)
- Unambiguity in Automata Theory (Q5500675) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
- Polynomially ambiguous unary weighted automata over fields (Q6038711) (← links)
- Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata (Q6072403) (← links)
- Bideterministic weighted automata (Q6108730) (← links)
- A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices (Q6154974) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)
- Bideterministic weighted automata (Q6186321) (← links)
- Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings (Q6204133) (← links)