תורת החישוביות/כריעות שפות/משפט רייס/תרגילים: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
שורה 28:
<center>
אם <math>L_1 \in S</math>, וכן <math>L_1, L_2 \in RE</math>, וכן <math>L_1 \subseteq L_2</math>, אז <math>L_2 \in S</math>
</center>
אז <math>L_S \notin RE.</math>
==הכרחיות תנאי 2 למניה רקורסיבית של שפות בעלות תכונה==
| |||