אוטומטים ושפות פורמליות/שפות פורמליות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
←פעולות על שפות: השלמה |
|||
שורה 36:
== פעולות על שפות ==
כאמור, שפה היא קבוצה של מילים, ולכן ניתן לבצע עליה
* '''שרשור שפות''' – יהיו <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>. באופן פורמלי:
| |||