A SYNTACTICAL PROOF OF LOCALITY OF DA

DOI10.1142/S021819679600009XzbMath0858.20052OpenAlexW2034847619MaRDI QIDQ4892455

Publication date: 3 March 1997

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s021819679600009x

zbMATH Keywords

rectangular bands finite monoids membership varieties of monoids varieties of languages local pseudovarieties profinite monoids regular ${\mathcal D}$-classes pseudovarieties of finite categories semidirect products of pseudovarieties of monoids syntactic proof of locality

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Quasivarieties (08C15) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items (41)

ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS ⋮ INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY ⋮ THE SEMIDIRECTLY CLOSED PSEUDOVARIETY GENERATED BY APERIODIC BRANDT SEMIGROUPS ⋮ PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS ⋮ PROFINITE METHODS IN SEMIGROUP THEORY ⋮ COMBINATORIAL GROUP THEORY, INVERSE MONOIDS, AUTOMATA, AND GLOBAL SEMIGROUP THEORY ⋮ Reducibility of pointlike problems ⋮ An automata-theoretic approach to the word problem for $\omega$-terms over R ⋮ The regular languages of wire linear $\mathrm{AC}^0$ ⋮ Profinite categories and semidirect products ⋮ Alternation Hierarchies of First Order Logic with Regular Predicates ⋮ On semidirectly closed pseudovarieties of finite semigroups and monoids ⋮ Locality and Centrality: The Variety ZG ⋮ Pseudovarieties of ordered completely regular semigroups ⋮ Language theoretical properties of hairpin formations ⋮ Iterated periodicity over finite aperiodic semigroups ⋮ The word problem for $\omega $-terms over DA ⋮ A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS ⋮ Closures of regular languages for profinite topologies. ⋮ The $\mathbf G$-exponent of a pseudovariety of semigroups ⋮ Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups ⋮ The pseudoidentity problem and reducibility for completely regular semigroups ⋮ A STRUCTURAL APPROACH TO THE LOCALITY OF PSEUDOVARIETIES OF THE FORM LH ⓜ V ⋮ On a locality-like property of the pseudovariety J ⋮ The pro-nilpotent group topology on a free group ⋮ THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$ ⋮ SOME OPERATORS THAT PRESERVE THE LOCALITY OF A PSEUDOVARIETY OF SEMIGROUPS ⋮ On semidirectly closed pseudovarieties of aperiodic semigroups ⋮ Unnamed Item ⋮ THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$ ⋮ Möbius functions and semigroup representation theory. ⋮ The globals of pseudovarieties of ordered semigroups containingB₂and an application to a problem proposed by Pin ⋮ On the equation ${\mathbf V}*{\mathbf G}={\mathcal E}{\mathbf V}$ ⋮ Unnamed Item ⋮ Semidirect product with an order-computable pseudovariety and tameness. ⋮ Representation theory of finite semigroups, semigroup radicals and formal language theory ⋮ Representations of relatively free profinite semigroups, irreducibility, and order primitivity ⋮ REPRESENTATIONS OF THE FREE PROFINITE OBJECT OVER DA ⋮ Unnamed Item ⋮ Bases for pseudovarieties closed under bideterministic product ⋮ HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS

This page was built for publication: A SYNTACTICAL PROOF OF LOCALITY OF DA