תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה |
←כריעות: מחלקות של שפות: תיקון |
||
שורה 17:
<math>\}</math> קיימת מ"ט M ש<u>מקבלת</u> את כל המילים ב־L ו<u>אינה מקבלת</u> אף מילה שאינה ב־L (אבל לאו דווקא דוחה) <math>RE = \{ L \mid</math>
<math>\}</math> קיימת מ"ט M ש<u>דוחה</u> את כל המילים שאינן ב־L ו<u>אינה דוחה</u> אף מילה
</center>
|