scientific article
From MaRDI portal
Publication:3839000
zbMath0909.20051MaRDI QIDQ3839000
Publication date: 7 April 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Büchi automatainfinite wordsordered semigroupsEilenberg variety theoremvarieties of languagesvarieties of finite semigroups
Formal languages and automata (68Q45) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35)
Related Items
A game theoretical approach to the algebraic counterpart of the Wagner hierarchy : Part I ⋮ The Algebraic Counterpart of the Wagner Hierarchy ⋮ Unnamed Item ⋮ New algorithms for solving tropical linear systems ⋮ Fragments of first-order logic over infinite words ⋮ Eilenberg Theorems for Free ⋮ Quantifier Alternation for Infinite Words ⋮ Positive varieties of tree languages
