The following pages link to Automata on linear orderings (Q859978):
Displaying 26 items.
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← links)
- Büchi context-free languages (Q627181) (← links)
- On Müller context-free grammars (Q764314) (← links)
- Hierarchy among automata on linear orderings (Q814934) (← links)
- Factorization forests for infinite words and applications to countable scattered linear orderings (Q846364) (← links)
- Logic and rational languages of words indexed by linear orderings (Q987379) (← links)
- Automata on ordinals and automaticity of linear orders (Q1944328) (← links)
- On defining linear orders by automata (Q2211260) (← links)
- Complementation of rational sets on scattered linear orderings of finite rank (Q2381522) (← links)
- Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets (Q2817372) (← links)
- MSO-definable Properties of Muller Context-Free Languages Are Decidable (Q2829973) (← links)
- Regular Languages of Words over Countable Linear Orderings (Q3012914) (← links)
- Automata on Ordinals and Linear Orders (Q3091463) (← links)
- An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata (Q3624594) (← links)
- Tree Automata and Automata on Linear Orderings (Q3625696) (← links)
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)
- Complementation of Branching Automata for Scattered and Countable N-Free Posets (Q4683231) (← links)
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085) (← links)
- EQUATIONAL DESCRIPTIONS OF LANGUAGES (Q4923277) (← links)
- (Q5090950) (← links)
- OPERATIONAL CHARACTERIZATION OF SCATTERED MCFLs (Q5247171) (← links)
- Developments in Language Theory (Q5473668) (← links)
- ON CONTEXT-FREE LANGUAGES OF SCATTERED WORDS (Q5495418) (← links)
- Developments in Language Theory (Q5711971) (← links)
- Logic and rational languages of scattered and countable series-parallel posets (Q5919278) (← links)
- Non-emptiness test for automata over words indexed by the reals and rationals (Q6666789) (← links)