The following pages link to \( \omega \)-automata (Q2074208):
Displaying 11 items.
- Alternating finite automata on \(\omega\)-words (Q796990) (← links)
- Accepting conditions for automata on \(\omega\)-languages (Q1116351) (← links)
- Fuzzy \(\omega\)-automata (Q1602551) (← links)
- Automata and rational expressions (Q2074204) (← links)
- On the generative power of \(\omega \)-grammars and \(\omega \)-automata (Q2882380) (← links)
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata (Q3510798) (← links)
- Short Witnesses and Accepting Lassos in ω-Automata (Q3564867) (← links)
- (Q4202958) (← links)
- (Q5028456) (← links)
- (Q5875345) (← links)
- Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words (Q6655084) (← links)