Είναι η γλώσσα που αναγνωρίζεται από μια μηχανή που μπορεί να αναγνωριστεί από το co-turing;

Ναι, η γλώσσα που αναγνωρίζεται από μια μηχανή που μπορεί να αναγνωριστεί από τη συν-turing είναι μια συν-ανα-απαράδεκτη γλώσσα (Co-Re). Αυτό είναι, εξ ορισμού.

Μια γλώσσα l είναι συν-turing-αναγνωρίσιμη αν το συμπλήρωμά της, L ', είναι turing-recognizable. Μια αναγνωρίσιμη γλώσσα Turing είναι αυτή όπου μια μηχανή Turing μπορεί να σταματήσει και να δεχτεί χορδές στη γλώσσα, αλλά μπορεί να βυθιστεί για πάντα σε χορδές * όχι * στη γλώσσα. Επομένως, μια μηχανή που μπορεί να αναγνωρίσει τη συν-turing μπορεί να σταματήσει και να απορρίψει τις χορδές * όχι * στη γλώσσα, αλλά μπορεί να βυθιστεί για πάντα σε χορδές στη γλώσσα.

Έτσι, η απάντηση είναι μια οριστική ναι .