שרשור (מחרוזות)

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

שרשור היא פעולה בינארית בין שתי מחרוזות, שתוצאתה היא מחרוזת שלישית, שבה מוצמדת המחרוזת השנייה בהמשכה של הראשונה. אם נסמן את פעולת השרשור בסימן +, מתקיים, למשל, 'ויקי' + 'פדיה' = 'ויקיפדיה'.

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

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

פעולת השרשור ממומשת בשפות תכנות רבות, כחלק מהכלים לטיפול במחרוזות. האופרטור מסומן בדרכים שונות, ובהן:


Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0