Closures of regular languages for profinite topologies.
type: Item
instance of: scholarly article
title: Closures of regular languages for profinite topologies.
zbMATH Open document ID: 1307.20048
published in: Semigroup Forum
publication date: 2014-11-03T00:00:00Z
full work available at URL: http://hdl.handle.net/1822/27493
review text: The Pin-Reutenauer iterative descriptive procedure to compute the closure in the free group of a regular language with respect to the Hall topology is shown to hold also for several pseudovarieties of finite semigroups: for the pseudovarieties of finite aperiodic semigroups, of finite semigroups in which all regular elements are idempotents, of finite \(\mathcal J\)-trivial semigroups, of finite local semilattices and of finite \(\mathcal R\)-trivial semigroups.
reviewed by: Jaak Henno
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M35
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 6363654
zbMATH Keywords: pseudovarieties of finite semigroups
zbMATH Keywords: profinite topology
zbMATH Keywords: pointlike sets
zbMATH Keywords: regular languages
zbMATH Keywords: aperiodic semigroups
zbMATH Keywords: topological closure
author: Jorge Almeida
author: José Carlos Costa
author: Marc Zeitoun
MaRDI profile type: Publication
OpenAlex ID: W2114961618
cites work: On Pointlike Sets and Joins of Pseudovarieties
cites work: A SYNTACTICAL PROOF OF LOCALITY OF DA
cites work: Some algorithmic problems for pseudovarieties
cites work: Q4407421
cites work: Q3365833
cites work: Q5429963
cites work: Complete reducibility of systems of equations with respect to \(\mathbf R\).
cites work: McCammond’s normal forms for free aperiodic semigroups revisited
cites work: Iterated periodicity over finite aperiodic semigroups
cites work: Q4943314
cites work: On some systems of equations with constraints in a free group. -- Addenda.
cites work: On the Decidability of Iterated Semidirect Products with Applications to Complexity
cites work: Q4942266
cites work: Defining Relations and the Algebraic Structure of the Group SL2 over Integral Hamilton Quaternions
cites work: An automata-theoretic approach to the word problem for \(\omega\)-terms over R
cites work: Q4085266
cites work: INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
cites work: A NEW PROOF OF THE RHODES TYPE II CONJECTURE
cites work: A constructive version of the Ribes-Zalesskiĭ product theorem.
cites work: Q3859267
cites work: COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
cites work: Pointlike sets: the finest aperiodic cover of a finite semigroup
cites work: ASH'S TYPE II THEOREM, PROFINITE TOPOLOGY AND MALCEV PRODUCTS: PART I
cites work: APERIODIC POINTLIKES AND BEYOND
cites work: Extending partial automorphisms and the profinite topology on free groups
cites work: NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
cites work: The word problem for \(\omega \)-terms over DA
cites work: Theorems on Compact Totally Disconnected Semigroups and Lattices
cites work: Q3769981
cites work: Topologies for the free monoid
cites work: A Conjecture on the Hall Topology for the Free Group
cites work: Q5302760
cites work: On The Profinite Topology on a Free Group
cites work: On algorithmic problems for joins of pseudovarieties
DOI: 10.1007/S00233-014-9574-3
description: scientific article; zbMATH DE number 6363654