Pages that link to "Item:Q1058863"
From MaRDI portal
The following pages link to A classification of \(\omega\)-regular languages (Q1058863):
Displaying 24 items.
- Classifying regular languages by a split game (Q1022599) (← links)
- Classes of regular and context-free languages over countably infinite alphabets (Q1068559) (← links)
- On alternating \(\omega\)-automata (Q1109572) (← links)
- Fine hierarchy of regular \(\omega\)-languages (Q1127312) (← links)
- Various hierarchies of \(\omega\)-regular sets (Q1269921) (← links)
- A branching time logic with past operators (Q1337463) (← links)
- Chain automata (Q1351952) (← links)
- Borel hierarchy and omega context free languages. (Q1401165) (← links)
- On omega context free languages which are Borel sets of infinite rank. (Q1874398) (← links)
- On the separation question for tree languages (Q2254515) (← links)
- (Q3384896) (← links)
- (Q3409982) (← links)
- (Q3693520) (← links)
- Closure properties of subclasses of ω-regular languages under morphism and inverse morphism (Q4016385) (← links)
- (Q4407437) (← links)
- THE WAGNER HIERARCHY (Q4513311) (← links)
- The Wadge-Wagner hierarchy of ω-rational sets (Q4571937) (← links)
- Families of DFAs as Acceptors of omega-Regular Languages (Q4608569) (← links)
- (Q5349417) (← links)
- TYPENESS FOR ω-REGULAR AUTOMATA (Q5484907) (← links)
- Topological properties of omega context-free languages (Q5958141) (← links)
- Wadge hierarchy of omega context-free languages (Q5958618) (← links)
- An algorithmic approach for checking closure properties of Ω-regular languages (Q6162107) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)
