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