scientific article; zbMATH DE number 1944113

zbMath1033.20067MaRDI QIDQ4407421

Jorge Almeida

Publication date: 28 January 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semidirect productsword problemfinite semigroupsimplicit operationsdecidabilitypseudovarietiesMal'cev productspseudoidentitiesfree profinite semigroupsrelational morphismsdecidability of membershipPin products

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35) Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Decidability of theories and sets of sentences (03B25) Semigroups in automata theory, linguistics, etc. (20M35) Structure of topological semigroups (22A15) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Related Items

The word problem for omega-terms over the Trotter-Weil hierarchy, Two algebraic approaches to variants of the concatenation product, An automata-theoretic approach to the word problem for \(\omega\)-terms over R, Some reducibility properties for pseudovarieties of the form DRH, The \(\kappa\)-word problem over \(\mathsf{DRH}\), What makes a Stone topological algebra profinite, On κ-reducibility of pseudovarieties of the form V ∗D, The word problem for \(\omega \)-terms over DA, Complete κ-reducibility of pseudovarieties of the form DRH, Closures of regular languages for profinite topologies., Towards a pseudoequational proof theory, On bases of identities for the \(\omega\)-variety generated by locally testable semigroups., Pointlike sets with respect to R and J., Theme and Variations on the Concatenation Product, A geometric interpretation of the Schützenberger group of a minimal subshift, A topological approach to transductions, The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy, The globals of pseudovarieties of ordered semigroups containingB₂and an application to a problem proposed by Pin, Semidirect product with an order-computable pseudovariety and tameness., Pointlike reducibility of pseudovarieties of the form V ∗D, Infinite-vertex free profinite semigroupoids and symbolic dynamics., Tameness of pseudovariety joins involving R.