Ja, det språk som erkänns av en co-turing-igenkännbar maskin är ett sam-recursivt entaligt språk (co-re). Detta är per definition.
Ett språk L är samtäckande igenkännligt om dess komplement, l ', är turing-igenkännande. Ett Turing-igenkännligt språk är ett där en Turing-maskin kan stoppa och acceptera strängar på språket, men kan slinga för evigt på strängar * inte * på språket. En co-turing-igenkännbar maskin kan därför stoppa och avvisa strängar * inte * på språket, men kan slinga för evigt på strängar på språket.
Så svaret är ett definitivt ja .
