Pages that link to "Item:Q731330"
From MaRDI portal
The following pages link to A theory of ultimately periodic languages and automata with an application to time granularity (Q731330):
Displaying 3 items.
- From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions (Q2215841) (← links)
- Detecting fictitious states in a \(\Sigma \)-automaton synthesized from its specification in the language LP (Q2287411) (← links)
- Deciding Monadic Second Order Logic over $$\omega $$ ω -Words by Specialized Finite Automata (Q2814129) (← links)
