scientific article; zbMATH DE number 1944133
From MaRDI portal
Publication:4407441
The authors survey different characterizations (algebraic, combinatorial, automata-theoretical, logical) of the pseudovariety \(\mathbf{DA}\), the class of all finite monoids whose regular \(\mathcal D\)-classes form aperiodic semigroups. For the entire collection see [Zbl 1005.00031].
Recommendations
Cited in
(30)- The word problem for omega-terms over the Trotter-Weil hierarchy
- On free spectra of finite monoids from the pseudovariety \(\mathsf{DA}\).
- Geometrically closed positive varieties of languages
- Omega-rational expressions with bounded synchronization delay
- The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy
- Pseudovarieties of ordered completely regular semigroups
- Learning expressions and programs over monoids
- The Shuffle Product: New Research Directions
- On FO 2 Quantifier Alternation over Words
- The intersection problem for finite monoids
- Efficiency of automata in semi-commutation verification techniques
- Representation theory of finite semigroups, semigroup radicals and formal language theory
- Language theoretical properties of hairpin formations
- Conservative groupoids recognize only regular languages
- Separating Without Any Ambiguity.
- The power of programs over monoids in DA
- Reversible regular languages: logical and algebraic characterisations
- One quantifier alternation in first-order logic with modular predicates
- Fragments of first-order logic over infinite words
- The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
- The intersection problem for finite semigroups
- Circuit complexity of regular languages
- How many times do you need to go back to the future in unary temporal logic?
- The word problem for \(\omega \)-terms over DA
- Unary and two-variable interval logics
- A generic characterization of generalized unary temporal logic and two-variable first-order logic
- On the lattice of sub-pseudovarieties of DA.
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces
- Two algebraic approaches to variants of the concatenation product
- Polynomials, fragments of temporal logic and the variety DA over traces
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4407441)
