Sim, o idioma reconhecido por uma máquina co-reconhecível é uma linguagem co-recursivamente enumerável (co-re). Esta é, por definição.

Uma linguagem L é cognitável de co-ator se o seu complemento, L ', é reconhecível por Turing. Uma linguagem reconhecível por Turing é aquela em que uma máquina de Turing pode interromper e aceitar seqüências de cordas no idioma, mas pode fazer uma pausa para sempre em Strings * não * no idioma. Uma máquina cognitável de co-ator, portanto, pode interromper e rejeitar seqüências * não * no idioma, mas pode fazer uma para sempre em cordas no idioma.

Então, a resposta é definitiva sim .