The following pages link to (Q4297397):
Displayed 6 items.
- Learning regular omega languages (Q329611) (← links)
- A theory of ultimately periodic languages and automata with an application to time granularity (Q731330) (← links)
- Deciding Monadic Second Order Logic over $$\omega $$ ω -Words by Specialized Finite Automata (Q2814129) (← links)
- (Q5232903) (← links)
- Approximate Verification of the Symbolic Dynamics of Markov Chains (Q5501948) (← links)
- Representing regular languages of infinite words using mod 2 multiplicity automata (Q6141755) (← links)