972 views
0 votes
0 votes
Can a  language exist which is undecidable as well as  Recursive language ? If yes please give example.

2 Answers

0 votes
0 votes
edit: the whole answer is being revised

REL are called as turing recognisable or turing acceptable , because all the string of a language that is REL are accept by turing machine. Some language in REL are called decidable and semi-decidable or partially decidable according to their behaviour of acceotance. REL whose TM always halts in final state for every string in language and in non-final state for strings not in language are called RECURSIVE language. REL whose TM always halts in final state for string in language but may or may nor halt in non-final state for strings no in language are called  "REL but not recursive " also called semi-decidable or partially decidable. now languge NOT REL or language not recognisable by TM are UNDecidable.
edited by

Related questions

0 votes
0 votes
2 answers
2
Mk Utkarsh asked Nov 26, 2017
2,110 views
If total turing machine is a proper subset of turing machine then why recursive language is not a proper subset of Recursive Enumerable ?
0 votes
0 votes
1 answer
4