תורת החישוביות/כריעות שפות/משפט רייס/תרגילים: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
|||
שורה 99:
# הוכח ש<math>L_S \notin R</math>.
# הראה שבעיית ההחלטה האם שתי מ"ט מקבלות אותה שפה - איננה כריעה.
[[קטגוריה:תורת החישוביות]]
| |||