תורת החישוביות/כריעות שפות/משפט רייס/תרגילים: הבדלים בין גרסאות בדף

תוכן=באופן כללי, לתכונה לא-טריוויאלית <math>S</math> של שפות ב־REב־<math>RE</math> עבורה <math>\emptyset\in S</math> מתקיים:{{רווח קשיח|10}} <math>L_S \notin RE</math>.}}