Decidability of finite quasivarieties generated by certain transformation semigroups.

DOI10.1007/PL00000349zbMath1058.08012MaRDI QIDQ1771861

Mikhail V. Volkov

Publication date: 19 April 2005

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

quasivarietytransformation semigroupalgorithmic decidabilitypseudovariety

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semigroups of transformations, relations, partitions, etc. (20M20) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Quasivarieties (08C15)

Related Items (3)

On divisors of semigroups of order-preserving mappings of a finite chain. ⋮ On Using the Join Operation to Define Classes of Algebras ⋮ Undecidable problems for completely 0-simple semigroups.

This page was built for publication: Decidability of finite quasivarieties generated by certain transformation semigroups.