空字串

在形式語言中，空字串有以下特性：

• ${\displaystyle |\lambda \,|=0}$ 。字串長度為 0 。
• ${\displaystyle \lambda \,+s=s+\lambda \,=s}$ 。在串接運算之下，空字串是一個在Σ上之自由么半群的單位元素。
• ${\displaystyle {\lambda \,}^{R}=\lambda \,}$ 。空字串的反元素為空字串。
• 空字串位於字典順序中的最優先。^[1]

程式語言可能會維持這些特性，但保留特殊實作方式的可能^{[來源請求]}。

空字串通常使用和其它一般字串相同的方式來表示。在使用結束字符的語言（如C字串或純文字的一行）中，則單統地將結束字符放在第一個位置。

1. ^ CSE1002 Lecture Notes - Lexicographic (PDF). [2010-04-22]. （原始内容存档 (PDF)于2009-12-29）.