מחרוזת ריקה (תכנות)

במדעי המחשב, המחרוזת הריקה היא מחרוזת מיוחדת באורך 0. היא מסומנת על ידי "λ" ולעיתים על ידי ϵ.

המחרוזת הריקה שונה מ-Null מחרוזת ריקה מיוצגת על ידי אובייקט מחרוזת, בעוד שהשימוש ב-Null מצביע על אובייקט שאיננו קיים ולכן אינו מייצג מחרוזת. במובן הפורמלי וגם במרבית שפות התכנות המחרוזת הריקה משמשת כמחרוזת לכל צורך ועניין ויכולה להיות ארגומנט בפעולות השונות על המחרוזת.

תכונות

בשפה פורמלית, למחרוזת הריקה יש מספר תכונות:

• $|\lambda \,|=0$, כלומר אורך המחרוזת הוא אפס.
• $\lambda \,+s=s+\lambda \,=s$. תחת פעולת השרשור, המחרוזת הריקה היא איבר היחידה של האלפבית Σ
• ${\lambda \,}^{R}=\lambda \,$. היפוך של המחרוזת הריקה הוא המחרוזת הריקה עצמה.

תכונות אלו תקפות במרבית שפות התכנות, אולם תלויות מימוש.

מחרוזת ריקה מסומנת על פי רוב כ "" (שני סימני מרכאות ברצף) או `` (שני סימני גרש ברצף).