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