תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
הוספת "{" חסר בהגדרת שפת האלכסון, דוגמא 2 |
||
שורה 70:
2. '''שפת האלכסון''' מוגדרת כך: <math>L_D = \{ \langle M \rangle \mid \langle M \rangle\in L(M) \}</math>{{ש}}
:דהיינו, קידודי כל המכונות המקבלות את הקידוד של עצמן.
:הקידוד של המכונה M ששפתה <math>L(M)=\Sigma^*</math> שייך ל־<math>L_D</math>, כי <math>M</math> מקבלת כל קלט ובפרט את המחרוזת <math>\langle M \rangle</math>.
| |||