תורת החישוביות/כריעות שפות/משפט רייס: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ עריכה - הורדת תבנית "בעבודה" |
מ ←דוגמאות ליישומי משפט רייס: הגהה |
||
שורה 63:
==דוגמאות ליישומי משפט רייס==
משפט רייס מאפשר בצורה קלה מאד להוכיח שבעיות רבות אינן כריעות.
{{דוגמה|תוכן=
|