@Somoshree Datta 5
isn't L={ <TM>| L(TM)= not re} a trivial property?
None of the tuning machine satisfy the property hence trivial and by RICE's first theorem it should be decidable. means it should be recursive.
L={ <TM>| L(TM)= re} is also trivial. meaning its also decidable.
64.3k questions
77.9k answers
244k comments
80.0k users