[1] Informalmente, esto significa que si la respuesta es "sí", entonces existe algún procedimiento que toma tiempo finito para determinarla.
Por otro lado, si la respuesta es "no", la máquina podría jamás detenerse.
En un sentido, co-RE contiene lenguajes cuyos miembros pueden ser rechazados en una cantidad de tiempo finito, pero que aceptarlos podría tardar para siempre.
En cierto sentido, estos son los problemas recursivamente enumerables más "difíciles" (siguiendo la analogía, véase NP-hard).
Todos estos problemas son no recursivos.