| Ja, de taal die wordt herkend door een co-Turing-herkenbare machine is een co-recursief opsombare taal (co-RE). Dit is per definitie.
Een taal L is co-Turing-herkenbaar als het complement, L', Turing-herkenbaar is. Een Turing-herkenbare taal is een taal waarin een Turing-machine strings in de taal kan stoppen en accepteren, maar voor altijd kan herhalen op strings *niet* in de taal. Een co-Turing-herkenbare machine kan daarom strings *niet* in de taal stoppen en afwijzen, maar kan voor altijd in een lus blijven hangen op strings in de taal.
Het antwoord is dus een definitief ja . |
