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

תוכן שנמחק תוכן שנוסף
Gran (שיחה | תרומות)
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>.
 
[[קטגוריה:{{אוטומטים ושפות פורמליות]]|מוגבל}}
 
[[קטגוריה:אוטומטים ושפות פורמליות|שפות פורמליות]]