Pages that link to "Item:Q1623004"
From MaRDI portal
The following pages link to Complementation of finitely ambiguous Büchi automata (Q1623004):
Displaying 11 items.
- On finitely ambiguous Büchi automata (Q1623000) (← links)
- On degrees of ambiguity for Büchi tree automata (Q2051784) (← links)
- Ambiguity, weakness, and regularity in probabilistic Büchi automata (Q2200844) (← links)
- Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique (Q3518271) (← links)
- Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique (Q3591446) (← links)
- Complementation of Büchi Automata Using Alternation (Q4412827) (← links)
- Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata (Q4649286) (← links)
- (Q5021011) (← links)
- On the power of finite ambiguity in Büchi complementation (Q6040669) (← links)
- Markov chains and unambiguous automata (Q6098148) (← links)
- Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata (Q6562457) (← links)