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