שיחה:תורת החישוביות/כריעות שפות/משפט רייס/תרגילים

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
קפיצה לניווט קפיצה לחיפוש

השם "משפט רייס המורחב"[עריכה]

ראיתי הרחבות של המשפט גם לכוונים שונים (נניח, תכונות לא-טריביאליות של tuples של שפות). למיטב ידיעתי, "משפט רייס המורחב" במשמעות שייכות לRE אינו שם מקובל. Atavory - שיחה 15:43, 28 בינואר 2012 (IST)תגובה[תגובה]