scientific article; zbMATH DE number 798167
From MaRDI portal
Publication:4848740
formal languagesfree algebrasfinite semigroupsidentitiesmonoidsmonoid presentationsmembership problempseudovarietiesBirkhoff varietiesvarieties of finite semigroupspseudoidentityfinite pseudoidentity basislist of research problemstopological algebra of implicit operations
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Lattices of varieties (08B15) Research exposition (monographs, survey articles) pertaining to group theory (20-02) Free semigroups, generators and relations, word problems (20M05) Quasivarieties (08C15) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to group theory (20-01)
Recommendations
Cited in
(only showing first 100 items - show all)- Projective indecomposable modules and quivers for monoid algebras
- The word problem for omega-terms over the Trotter-Weil hierarchy
- The intersection problem for finite monoids
- Low growth equational complexity
- A Munn tree type representation for the elements of the bifree locally inverse semigroup
- Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups
- Locally \(E\)-solid epigroups
- Wreath product and infinite words
- Ehresmann semigroups whose categories are EI and their representation theory
- The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based
- Formations of inverse semigroups
- Every decidable pseudovariety of abelian groups is completely tame
- The Wadge-Wagner hierarchy of ω-rational sets
- Complete κ-reducibility of pseudovarieties of the form DRH
- Bilateral locally testable languages.
- Circuit complexity of regular languages
- Operations preserving regular languages
- Limit varieties of \(J\)-trivial monoids
- Two weaker variants of congruence permutability for monoid varieties
- A method for the construction of complete congruences on lattices of pseudovarieties
- Tropical representations and identities of the stylic monoid
- Geometrically closed positive varieties of languages
- On the group of a rational maximal bifix code
- Representations of relatively free profinite semigroups, irreducibility, and order primitivity
- Finite quasivarieties and self-referential conditions
- The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
- About the power pseudovariety \(\mathbf{PCS}\)
- On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids
- A sufficient condition under which a semigroup is nonfinitely based.
- On join irreducible \(J\)-trivial semigroups
- A Note on Decidable Separability by Piecewise Testable Languages
- \(\mathsf E\)-local pseudovarieties.
- The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups
- Free profinite \(\mathcal R\)-trivial, locally idempotent and locally commutative semigroups
- THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES
- On a locality-like property of the pseudovariety J
- Cancellable elements of the lattice of monoid varieties
- On formations of monoids
- Separability and efficiency under standard wreath product in terms of Cayley graphs.
- Stone duality, topological algebra, and recognition.
- Expressive power of existential first-order sentences of Büchi's sequential calculus
- Locally countable pseudovarieties
- On free spectra of finite monoids from the pseudovariety \(\mathsf{DA}\).
- Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets
- A combinatorial property of ideals in free profinite monoids.
- The \(\kappa\)-word problem over \(\mathsf{DRH}\)
- On a class of completely join prime \(J\)-trivial semigroups with unique involution
- A counterexample to a conjecture concerning concatenation hierarchies
- The rank of variants of nilpotent pseudovarieties
- Identical inclusions of semilattices
- Locality and Centrality: The Variety ZG
- Complementation of Branching Automata for Scattered and Countable N-Free Posets
- \(\omega\sharp\)-algebras
- On semidirectly closed pseudovarieties of finite semigroups and monoids
- An introduction to q-central idempotents and q-abelian rings
- Equational Theories of Scattered and Countable Series-Parallel Posets
- The pseudovariety of semigroups of triangular matrices over a finite field
- Pro-aperiodic monoids via saturated models
- Limit varieties generated by finite non-J-trivial aperiodic monoids
- Finite basis problem for Catalan monoids with involution
- On the pseudovariety generated by all finite monoids satisfying \(\mathcal R=\mathcal H\).
- Theme and variations on the concatenation product
- Finite basis problem for the variety generated by all monoids of order five
- An effective lower bound for group complexity of finite semigroups and automata
- Generalized Eilenberg theorem. Varieties of languages in a category
- Strongly locally testable semigroups with commuting idempotents and related languages
- Small and countable inclusive varieties of semigroups
- Weighted automata and logics meet computational complexity
- Reaching the minimum ideal in a finite semigroup
- Identities of the Jones monoid \(\mathcal{J}_5\)
- Formations of orthodox semigroups
- On the transition monoid of the Stallings automaton of a subgroup of a free group
- TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES
- Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups
- The globals of pseudovarieties of ordered semigroups containingB2and an application to a problem proposed by Pin
- Krohn-Rhodes complexity pseudovarieties are not finitely based
- The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies
- Hierarchies of Piecewise Testable Languages
- Stone pseudovarieties
- Some reducibility properties for pseudovarieties of the form \(DRH\)
- The lattice of varieties of strict left restriction semigroups
- A survey on varieties generated by small semigroups and a companion website
- Weak separation problem for tree languages
- A profinite approach to complete bifix decodings of recurrent languages
- The intersection problem for finite semigroups
- Characterization of the pseudovariety generated by finite monoids satisfying \(\mathcal R=\mathcal H\).
- An embedding of semigroups into regular semigroups that preserves structure and finiteness.
- Substitution Principle and semidirect products
- \(F\)-inverse monoids as algebraic structures in enriched signature
- On semidirectly closed non-aperiodic pseudovarieties of finite monoids
- Monoid varieties with extreme properties
- The lattice of varieties of monoids
- Characterizing CTL-like logics on finite trees.
- scientific article; zbMATH DE number 1944113 (Why is no real title available?)
- Directed nonabelian sandpile models on trees
- Equational theories of unstable involution semigroups
- Hereditarily finitely based monoids of extensive transformations.
- Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
- Semigroups of order-preserving mappings
- Definable orthogonality classes in accessible categories are small
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 Q4848740)
