שרשור (מחרוזות) – הבדלי גרסאות

פעולת השרשור אינה [[קומוטטיביות|קומוטטיבית]], שהרי, למשל, 'ויקי' + 'פדיה' ≠ 'פדיה' + 'ויקי'. פעולת השרשור היא פעולה [[אסוציאטיביות|אסוציאטיבית]], כלומר לכל שלוש מחרוזות a,b,c מתקיים a+(b+c) = (a+b)+c. [[איבר היחידה]] לפעולת השרשור הוא המחרוזת הריקה (שנסמנה בשני גרשים צמודים, <nowiki>''</nowiki>), כלומר לכל מחרוזת a מתקיים a+<nowiki>'' = ''</nowiki>+a. האיבר היחיד באוסף של מחרוזות שיש לו [[איבר הופכי]] הוא המחרוזת הריקה. בהתאם לכך, האוסף של מילים סופיות ב[[אלפבית]] X, ביחס לפעולת השרשור, הוא [[מונואיד (מבנה אלגברי)|מונאיד]] (זהו ''המונואיד החפשי'' על X, ראו [[חבורה חופשית]]).

 

 

פעולת השרשור ממומשת ב[[שפת תכנות|שפות תכנות]] רבות. האופרטור מסומן בדרכים שונות, ובהן: