Pages that link to "Item:Q1249573"
From MaRDI portal
The following pages link to Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes (Q1249573):
Displaying 20 items.
- Büchi context-free languages (Q627181) (← links)
- On Müller context-free grammars (Q764314) (← links)
- Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\) (Q783293) (← links)
- Factorization forests for infinite words and applications to countable scattered linear orderings (Q846364) (← links)
- Automata on linear orderings (Q859978) (← links)
- Finite automata and ordinals (Q1351785) (← links)
- The equational theory of regular words (Q1776401) (← links)
- Star-free sets of words on ordinals (Q1854423) (← links)
- Complementation of rational sets on scattered linear orderings of finite rank (Q2381522) (← links)
- MSO-definable Properties of Muller Context-Free Languages Are Decidable (Q2829973) (← links)
- Automata on Ordinals and Linear Orders (Q3091463) (← links)
- REASONING ABOUT TRANSFINITE SEQUENCES (Q3426789) (← links)
- Automata, Semigroups and Recognizability of Words on Ordinals (Q4354234) (← links)
- TRANSFINITE EQUATIONS IN TRANSFINITE STRINGS (Q4786265) (← links)
- Axiomatizing omega and omega-op powers of words (Q4825384) (← links)
- OPERATIONAL CHARACTERIZATION OF SCATTERED MCFLs (Q5247171) (← links)
- On Reachability Games of Ordinal Length (Q5448648) (← links)
- A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS (Q5483372) (← links)
- ON CONTEXT-FREE LANGUAGES OF SCATTERED WORDS (Q5495418) (← links)
- Long words: The theory of concatenation and \(\omega\)-power (Q5941292) (← links)
