Closures of regular languages for profinite topologies.
From MaRDI portal
Publication:467504
DOI10.1007/s00233-014-9574-3zbMath1307.20048MaRDI QIDQ467504
Marc Zeitoun, José Carlos Costa, Jorge Almeida
Publication date: 3 November 2014
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1822/27493
topological closure; profinite topology; regular languages; pointlike sets; pseudovarieties of finite semigroups; aperiodic semigroups
20M07: Varieties and pseudovarieties of semigroups
68Q70: Algebraic theory of languages and automata
20M35: Semigroups in automata theory, linguistics, etc.
Related Items
Profinite topologies, Recognizing pro-\(\mathrm{R}\) closures of regular languages, McCammond’s normal forms for free aperiodic semigroups revisited
Cites Work
- The word problem for \(\omega \)-terms over DA
- An automata-theoretic approach to the word problem for \(\omega\)-terms over R
- Topologies for the free monoid
- On some systems of equations with constraints in a free group. -- Addenda.
- A constructive version of the Ribes-Zalesskiĭ product theorem.
- Pointlike sets: the finest aperiodic cover of a finite semigroup
- Iterated periodicity over finite aperiodic semigroups
- Complete reducibility of systems of equations with respect to \(\mathbf R\).
- McCammond’s normal forms for free aperiodic semigroups revisited
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- Theorems on Compact Totally Disconnected Semigroups and Lattices
- APERIODIC POINTLIKES AND BEYOND
- COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
- A Conjecture on the Hall Topology for the Free Group
- ASH'S TYPE II THEOREM, PROFINITE TOPOLOGY AND MALCEV PRODUCTS: PART I
- On The Profinite Topology on a Free Group
- Defining Relations and the Algebraic Structure of the Group SL2 over Integral Hamilton Quaternions
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- A NEW PROOF OF THE RHODES TYPE II CONJECTURE
- On Pointlike Sets and Joins of Pseudovarieties
- NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
- A SYNTACTICAL PROOF OF LOCALITY OF DA
- Extending partial automorphisms and the profinite topology on free groups
- On algorithmic problems for joins of pseudovarieties
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item