תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
|||
שורה 11:
# <math>\}</math> מספר האפסים בקלט שווה למספר האחדים <math>L=\{ x\in\{0,1\}^* \mid</math>. (זו שפה לא-רגולרית)
נאמר ששפה <math>L</math> '''אינה כריעה''' אם לא קיימת מ״ט <u>שמכריעה</u> אותה.
{{-}}
| |||