The word problem for -terms over DA

DOI10.1016/J.TCS.2011.08.003zbMATH Open1237.68117OpenAlexW1983052745MaRDI QIDQ650888FDOQ650888

Authors: Ana Moura 

Publication date: 7 December 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.08.003

Recommendations

• An automata-theoretic approach to the word problem for \(\omega\)-terms over R
• The word problem for omega-terms over the Trotter-Weil hierarchy
• McCammond’s normal forms for free aperiodic semigroups revisited
• On \(\omega \)-identities over finite aperiodic semigroups with commuting idempotents
• The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy

zbMATH Keywords

word problemaperiodicfinite monoidomega-termpseudovarietypseudowordregular \(\mathcal{D}\)-class

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Free semigroups, generators and relations, word problems (20M05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• $ℵ_0$-categoricity of linear orderings
• Title not available (Why is that?)
• A SYNTACTICAL PROOF OF LOCALITY OF DA
• Description and analysis of a bottom-up DFA minimization algorithm
• Title not available (Why is that?)
• NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
• An automata-theoretic approach to the word problem for \(\omega\)-terms over R
• Representations of the free profinite object over \(\mathbf{DA}\).
• THE EQUATIONAL THEORY OF ω-TERMS FOR FINITE ${\mathcal R}$-TRIVIAL SEMIGROUPS

Cited In (8)

• Representations of the free profinite object over \(\mathbf{DA}\).
• Reducibility of pointlike problems
• The word problem for omega-terms over the Trotter-Weil hierarchy
• The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
• The \(\kappa\)-word problem over \(\mathsf{DRH}\)
• Closures of regular languages for profinite topologies.
• An automata-theoretic approach to the word problem for \(\omega\)-terms over R
• McCammond’s normal forms for free aperiodic semigroups revisited

This page was built for publication: The word problem for \(\omega \)-terms over DA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q650888)