תורת החישוביות/כריעות שפות/משפט רייס/תרגילים: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
תיקון שגיאה בעברית |
|||
שורה 89:
אז <math>L_S \notin RE</math>.
רמז: שים לב שמה שיש להוכיח הוא שאם <math>L_S \in RE</math>, אז כל תת-שפה סופית של יש מ"ט המונה כל שפה סופית ב-<math>S</math>.
==הרחבת משפט רייס לn-יות==
| |||