Abstract:
Algorithms are found that determine, for a finite set of identities (balanced identities), whether every nil-semigroup (periodic semigorup) satisfying them is locally finite. A number of results on finitely based semigroup varieties are obtained as corollaries.
Bibliography: 34 titles.