תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
ארגון מחודש של החלק |
מ קישורים פנימיים |
||
שורה 6:
בפרק זה נראה שלוש מחלקות של בעיות. באופן לא מדוייק, ה[[#כריעות|שפות הכריעות]] הן משפחת השפות שאפשר לזהות באופן מלא, ואילו [[#כריעות למחצה חיובית|שפות כריעות למחצה חיובית]] ו[[#כריעות למחצה שלילית|שפות כריעות למחצה שלילית]] הן שפות שאפשר לזהות באופן חלקי.
בשאר חלקי הפרק נעסוק במחלקות אלו. הפרק [[תורת החישוביות/כריעות שפות/קיום שפות שאינן כריעות
==סוגי הכריעות ומחלקות הכריעות==
|