אוטומטים ושפות פורמליות/שפות פורמליות: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
שורה 40:
* '''שרשור שפות''' – יהיו <math>\ L_1, L_2</math> שפות מעל אלפבית כלשהו. השרשור של <math>\ L_1</math> עם <math>\ L_2 </math> מסומן <math> L_1\circ L_2</math> ולפעמים <math>\ L_1L_2</math>, ומוגדר ככל המחרוזות המתחילות במחרוזת מתוך <math>\ L_1</math> אליה משורשרת מחרוזת מ-<math>\ L_2</math>. באופן פורמלי:
<center><math>L_1\circ L_2 = \{ w_1 w_2 \mid w_1 \in L_1, w_2 \in L_2\}</math></center>
* '''חזקה''' – חזקה של שפה היא שרשור השפה לעצמה מספר פעמיםפעמיםחי חעע חחע עיננ. למשל <math>L_1^2 = L_1\circ L_1</math>.
* '''כוכב''' (כוכב קליני) – פעולת הכוכב מוגדרת באופן הבא:
<center><math> L^* = \{\varepsilon\} \cup L \cup L^2 \cup L^3 \ldots</math></center>