משפט רייס במבחן
http://tau-cm2017b.wikidot.com/forum/t-2378496/
Posts in the discussion thread "משפט רייס במבחן"Sun, 19 May 2019 09:00:00 +0000http://tau-cm2017b.wikidot.com/forum/t-2378496#post-2915541Re: משפט רייס במבחן
http://tau-cm2017b.wikidot.com/forum/t-2378496/#post-2915541
Sun, 25 Jun 2017 07:54:12 +0000Yuval Moskovitch1827110
You can use it only if you proved it in class.
]]>
http://tau-cm2017b.wikidot.com/forum/t-2378496#post-2907991משפט רייס במבחן
http://tau-cm2017b.wikidot.com/forum/t-2378496/#post-2907991
Sat, 24 Jun 2017 17:10:35 +0000Yarin Cohen3205222
we learned in class that Rice's theorem gives us tools to determine if a language is in R or not. but actually it does more than that. if the empty set is not in C then from the proof itself we also know that it's not in Co-RE and if the empty set is in C then we know that L is not in RE. is this something we can use in the test to say if a language is in RE or not, or do we need to prove it before using? thanks!
]]>