תורת החישוביות/כריעות שפות/משפט רייס: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
שורה 81:
# שפת כל השפות הסופיות ב-<math>S</math> היא ב-<math>RE</math> (כלומר, יש מ"ט המונה כל שפה סופית ב-<math>S</math>).
}}
ב[[תורת החישוביות/כריעות שפות/משפט רייס/תרגילים|תרגיל: הכרחיות תנאי 1 למניה רקורסיבית של שפות בעלות תכונה]], [[תורת החישוביות/כריעות שפות/משפט רייס/תרגילים|תרגיל: הכרחיות תנאי 2 למניה רקורסיבית של שפות בעלות תכונה]], ו[[תורת החישוביות/כריעות שפות/משפט רייס/תרגילים|תרגיל: הכרחיות תנאי 3 למניה רקורסיבית של שפות בעלות תכונה]], תתבקש להראות שכ"א מתנאים אלה הכרחי להיות הבעיה ב-<math>RE</math>.
==דוגמאות ליישומים==
| |||