Abstract

AbstractThe word problems for \(\omega \)-terms over the pseudovariety of aperiodic semigroups with commuting idempotents and over the pseudovariety generated by finite aperiodic inverse semigroups are studied. The two problems have different solutions, thus showing that the two pseudovarieties are distinct, a result proven by Higgins and Margolis.KeywordsAperiodic semigroupAutomatonPseudovariety\(\omega \)-word problem

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call