On bases of identities for the \(\omega\)-variety generated by locally testable semigroups.
From MaRDI portal
Publication:935166
DOI10.1016/j.tcs.2008.04.043zbMath1157.20030OpenAlexW1971102139MaRDI QIDQ935166
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
word problemfinite semigroupsbases of identitiespseudovarietiesidentity baseslocal testability of semigroupsomega-terms
Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An automata-theoretic approach to the word problem for \(\omega\)-terms over R
- Locally testable semigroups
- Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
- Characterizations of locally testable events
- Algebraic decision procedures for local testability
- NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS
- Free profinite locally idempotent and locally commutative semigroups
