כוכב קלין – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ הסבת תג ref לתבנית:הערה (תג) (דיון)
שורה 6:
הקבוצה *''V'' ניתנת לתיאור כקבוצה של מחרוזות סופיות שנוצרו על ידי שרשור שרירותי של אלמנטים של ''V'', המאפשר את השימוש של אותו תו מספר פעמים בלתי מוגבל.
 
אם ''V ''[[הקבוצה הריקה|קבוצה ריקה]] ∅ או קבוצה בעלת האלמנט הבודד {ε} שהוא המילה הריקה, אז {''V''<sup>*</sup> = {ε; אחרת, אם V היא [[קבוצה סופית]], אז *''V ''הוא [[קבוצה בת מנייה]].<ref>{{הערה|{{cite web|url=http://www.nayuki.io/page/countable-sets-and-kleene-star|title=Countable sets and Kleene star|date=10 May 2011|accessdate=11 January 2012|work=Project Nayuki|author=Nayuki Minase}}</ref>}}
 
== הגדרה וסימון ==
שורה 16:
אם ''V'' היא שפה פורמלית, אז ''V''<sub>''i''</sub>, היא החזקה ה-i של הקבוצה ''V'', קיצור של [[שרשור (מחרוזות)|שירשור]] של קבוצה ''V'' עם עצמה ''i ''פעמים. כלומר, ''V''<sub>''i''</sub> יכול להיות מובן כקבוצת כל [[מחרוזת (מדעי המחשב)|המחרוזות]] שהן שרשור של i איברים של ''V''.
 
בכתיב מתמטי, כוכב קלין מוגדר על ידי:<ref>{{הערה|{{cite book|url=https://www.springer.com/mathematics/book/978-0-387-94258-2|title=Mathematical Logic|last1=Ebbinghaus|first1=Heinz-Dieter|last2=Flum|first2=Jörg|last3=Thomas|first3=Wolfgang|date=1994|publisher=[[Springer Science+Business Media|Springer]]|isbn=0-387-94258-0|edition=2nd|location=[[New York City|New York]]|page=656|doi=|quote=The '''Kleene closure''' ''L''<sup>*</sup> of ''L'' is defined to be <math>\sideset{}{_{i=0}^\infty}\bigcup L^i</math>.|authorlink1=Heinz-Dieter Ebbinghaus}}</ref>}}
:<math> V^*=\bigcup_{i \in \N }V_i = \{\varepsilon\} \cup V \cup V_2 \cup V_3 \cup V_4 \cup \ldots.</math>