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