Un idioma l es conjuntamente reconocible si su complemento, l ', es reconocible. Un lenguaje reconocible de Turing es uno en el que una máquina de turing puede detener y aceptar cadenas en el idioma, pero puede recorrer para siempre en las cadenas * no * en el idioma. Por lo tanto, una máquina de reconocimiento conjunta puede detener y rechazar cadenas * no * en el idioma, pero puede recorrer para siempre en las cadenas en el idioma.
Entonces, la respuesta es un sí definitivo .