אוטומטים ושפות פורמליות/שפות פורמליות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ←פעולות על שפות: ז |
Crazy Ivan (שיחה | תרומות) מאין תקציר עריכה |
||
שורה 1:
{{אוטומטים ושפות פורמליות}}
שפה פורמלית היא קבוצה כלשהי של מחרוזות, כאשר כל אות במחרוזת היא מתוך קבוצה סופית <math>\Sigma</math>, המכונה "האלפבית של השפה". את המחרוזות של השפה נהוג לכנות "מילים".
שורה 33 ⟵ 34:
* שפת כל הצירופים הסופיים מעל האלפבית. לשפה זאת מספר מילים אינסופי מכיוון שאין בה מגבלה על אורך המילים. מסמנים <math>L=\Sigma^*</math>. סימון זה יוסבר בהמשך.
* השפה המכילה מילה יחידה - את המילה הריקה <math>L=\{\varepsilon\}</math>. יש לשים לב שזו '''אינה''' השפה הריקה, מכיוון ששפה זו מכילה מילה אחת, והשפה הריקה מכילה 0 מילים (אינה מכילה אף מילה).
== פעולות על שפות ==
שורה 51:
*עבור <math>L=\{a, bc\}</math> נקבל <math>L^2 = \{ aa, abc, bca, bcbc\}</math>.
[[קטגוריה:אוטומטים ושפות פורמליות|שפות פורמליות]]
|