On bases of identities for the -variety generated by locally testable semigroups.

DOI10.1016/J.TCS.2008.04.043MaRDI QIDQ935166zbMATH OpenOpenAlexFDO

Authors José Carlos Costa, Conceição Nogueira

Publication date 31 July 2008

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

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

zbMATH Keywords

bases of identitiesfinite semigroupsword problempseudovarietiesidentity baseslocal testability of semigroupsomega-terms

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35)

Recommendations

• Identities of locally testable semigroups
• THE EQUATIONAL THEORY OF ω-TERMS FOR FINITE ${\mathcal R}$-TRIVIAL SEMIGROUPS
• On \(\omega \)-identities over finite aperiodic semigroups with commuting idempotents
• scientific article; zbMATH DE number 2050949
• On Using the Join Operation to Define Classes of Algebras

Cites work

• scientific article; zbMATH DE number 1944113 (Why is no real title available?)
• scientific article; zbMATH DE number 1737190 (Why is no real title available?)
• scientific article; zbMATH DE number 1419247 (Why is no real title available?)
• Algebraic decision procedures for local testability
• An automata-theoretic approach to the word problem for \(\omega\)-terms over R
• Characterizations of locally testable events
• Free profinite locally idempotent and locally commutative semigroups
• Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
• Locally testable semigroups
• NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS

Cited in

(9)

• The identities of the free product of a pair of two-element monoids
• Towards a pseudoequational proof theory
• A solution to the word problem for free pseudosemilattices
• scientific article; zbMATH DE number 2050949 (Why is no real title available?)
• Log-linear varieties of semigroups
• Identities of locally testable semigroups
• Strongly locally testable semigroups with commuting idempotents and related languages
• On locally testable semigroups.
• On \(\omega \)-identities over finite aperiodic semigroups with commuting idempotents

This page was built for publication: On bases of identities for the \(\omega\)-variety generated by locally testable semigroups.

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