כוכב קלין – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←פתיח |
מ הסבת תג ref לתבנית:הערה (תג) (דיון) |
||
שורה 6:
הקבוצה *''V'' ניתנת לתיאור כקבוצה של מחרוזות סופיות שנוצרו על ידי שרשור שרירותי של אלמנטים של ''V'', המאפשר את השימוש של אותו תו מספר פעמים בלתי מוגבל.
אם ''V ''[[הקבוצה הריקה|קבוצה ריקה]] ∅ או קבוצה בעלת האלמנט הבודד {ε} שהוא המילה הריקה, אז {''V''<sup>*</sup> = {ε; אחרת, אם V היא [[קבוצה סופית]], אז *''V ''הוא [[קבוצה בת מנייה]].
== הגדרה וסימון ==
שורה 16:
אם ''V'' היא שפה פורמלית, אז ''V''<sub>''i''</sub>, היא החזקה ה-i של הקבוצה ''V'', קיצור של [[שרשור (מחרוזות)|שירשור]] של קבוצה ''V'' עם עצמה ''i ''פעמים. כלומר, ''V''<sub>''i''</sub> יכול להיות מובן כקבוצת כל [[מחרוזת (מדעי המחשב)|המחרוזות]] שהן שרשור של i איברים של ''V''.
בכתיב מתמטי, כוכב קלין מוגדר על ידי:
:<math> V^*=\bigcup_{i \in \N }V_i = \{\varepsilon\} \cup V \cup V_2 \cup V_3 \cup V_4 \cup \ldots.</math>
|