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.
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica