in Theory of Computation
307 views
0 votes
0 votes
L={ <TM>| L(TM)= not re} is it decidable or not if undecidable what specific  set it belongs ?
in Theory of Computation
307 views

5 Comments

Thanks but if I modify and say L={ <TM> | L(TM)=RE}
0
0

@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.

1
1
oh..yes..totally missed this out.! thanks :)
0
0

@Somoshree Datta 5

L={ <TM>| L(TM)=  re} is also trivial. meaning its also decidable.

0
0
yes..
0
0

Please log in or register to answer this question.

Related questions