The word problem for -terms over DA

DOI10.1016/J.TCS.2011.08.003MaRDI QIDQ650888zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3460178 (Why is no real title available?)
• scientific article; zbMATH DE number 1944113 (Why is no real title available?)
• scientific article; zbMATH DE number 1944133 (Why is no real title available?)
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• scientific article; zbMATH DE number 3189697 (Why is no real title available?)
• $ℵ_0$-categoricity of linear orderings
• A SYNTACTICAL PROOF OF LOCALITY OF DA
• An automata-theoretic approach to the word problem for \(\omega\)-terms over R
• Description and analysis of a bottom-up DFA minimization algorithm
• NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
• 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)