202 views

1 Answer

0 votes
0 votes
A language which is the complement of a Turing recognisable language is called as co-Turing recognisable.

An interesting consequence of this fact that a language is decidable if and only if it is Turing recognisable and co-Turing recognisable.

Related questions

3 votes
3 votes
2 answers
3
3 votes
3 votes
1 answer
4