תורת החישוביות/כריעות שפות/רדוקציה חישובית: הבדלים בין גרסאות בדף

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