空字符串

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

• ${\displaystyle |\lambda \,|=0}$。字符串长度为 0 。
• ${\displaystyle \lambda \,+s=s+\lambda \,=s}$。在串接运算之下，空字符串是一个在Σ上之自由半群的单比特素。
• ${\displaystyle {\lambda \,}^{R}=\lambda \,}$。空字符串的反元素为空字符串。
• 空字符串位于字典顺序中的最优先。[1]

编程语言可能会维持这些特性，但保留特殊实作方式的可能。

空字符串通常使用和其它一般字符串相同的方式来表示。在使用结束字符的语言（如C字符串或纯文本的一行）中，则单统地将结束字符放在第一个位置。

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