Abstract (EN):
This article defines the notion of hyperdecidability for a class of finite semigroups, which is closely connected to the notion of decidability. Ii then proves that the pseudovariety J of J-trivial semigroups is hyperdecidable.
Language:
English
Type (Professor's evaluation):
Scientific