The following pages link to (Q3693520):
Displaying 4 items.
- Characterization of \(\omega\)-regular languages by first-order formulas (Q800737) (← links)
- Brzozowski hierarchy of \(\omega\)-languages (Q1095672) (← links)
- Characterization of \(\omega\)-regular languages by monadic second-order formulas (Q1822511) (← links)
- Mutual Transformability of the Formulas of the Languages Of MarkovL2ω AND Rω (Q3791153) (← links)