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