שפה רקורסיבית: הבדלים בין גרסאות

תגית: עריכת קוד מקור 2017
תגית: עריכת קוד מקור 2017
== סגירוּת אלגברית ==
רקורסיבית שפות [[סגירות (אלגברה)|סגורה]] תחת הפעולות הבאות. כלומר, אם ''L'' ו ''P'' הן שתי שפות רקורסיביות, השפות הבאות גם הן רקורסיביות:
* כוכב קלין <math >L^*</math>
* התמונה (φ(L תחת [[הומומורפיזם]]  φ (כלומר e-free homomorphism)
* השרשור <math>L \circ P</math>
* האיחוד <math>L \cup P</math>
* החיתוך <math>L \cap P</math>
* המשלים של <math >L</math>
* קבוצת ההפרש <math>L - P</math>
 
[[קטגוריה:רקורסיה]]
[[קטגוריה:שפות פורמליות]]