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

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

ב[[שפה טבעית|שפות טבעיות]] רווחת פעולה של שרשור [[מורפמה|מורפמות]] ליצירת מילים חדשות והטיות של מילים קיימות. דוגמה: המילה ה[[אנגלית]] unbreakable מורכבת משרשור של שלושה צורנים: un+break+able. כך גם המילה ה[[עברית]] 'כתבנו' = 'כתב' + 'נו'.