The following pages link to (Q4490053):
Displaying 5 items.
- Alternation and \(\omega\)-type Turing acceptors (Q1088417) (← links)
- On alternating \(\omega\)-automata (Q1109572) (← links)
- Accepting conditions for automata on \(\omega\)-languages (Q1116351) (← links)
- On the generative power of \(\omega \)-grammars and \(\omega \)-automata (Q2882380) (← links)
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata (Q3510798) (← links)