תורת החישוביות/כריעות שפות/משפט רייס/תרגילים: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
תיקון שגיאה בעברית |
||
שורה 33:
==אופטימיזציית מ"ט==
בהנתן מ"ט <math>M</math> הפועלת על מחרוזות, ברצוננו לדעת האם אפשר
==הכרעת תכונות לא-טריוויאליות איננה נתנת למניה רקורסיבית==
| |||