משפט רייס – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
תיקון שם תגיות: שוחזרה עריכה חזותית |
מ שוחזר מעריכות של 141.226.162.108 (שיחה) לעריכה האחרונה של זה ינחמנו |
||
שורה 1:
'''משפט
באופן פורמלי, השפה <math display="block">L_S= \{ \langle M\rangle \mid L(M) \in S\}</math> היא שפה '''[[כריעות|בלתי כריעה]]''', אם <math>\ S</math> היא קבוצה '''לא-טריוויאלית''' של שפות.
|