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

השם "משפט רייס המורחב"

עריכה

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

חזרה לדף "תורת החישוביות/כריעות שפות/משפט רייס/תרגילים".