Publication:3691083
From MaRDI portal
zbMath0573.68045MaRDI QIDQ3691083
Publication date: 1985
68Q45: Formal languages and automata
Related Items
Axiomatizing omega and omega-op powers of words, A hierarchy of tree-automatic structures, Schützenberger and Eilenberg theorems for words on linear orderings, Büchi context-free languages, On Müller context-free grammars, Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\), Factorization forests for infinite words and applications to countable scattered linear orderings, Automata on linear orderings, Logic and rational languages of words indexed by linear orderings, Finite automata and ordinals, Logic over words on denumerable ordinals, MSO-definable Properties of Muller Context-Free Languages Are Decidable, Automata on Ordinals and Linear Orders