空串

在计算机科学或形式语言中，空串是指在字母表Σ上，其长度为 0 的那唯一字符串，以ε或λ来标记。

在面向对象编程语言中，空串共非空引用。一个字符串类型的空引用并未指向一个字符串对象，而对其操作则会导致错误。空串则可以使用字符串运算。

特性

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

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

编程语言可能会维持这些特性，但保留特殊实现方式的可能^{[来源请求]}。

表示方式

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

编程语言	λ 表示法
C语言, C++	"" {'\0'}
C++	std::string()
Objective-C	@""
Perl	"" '' qw()
Python	"" '' """""" str()
C#	"" string.Empty
Visual Basic .NET	"" String.Empty
PHP	"" ''
Java	""
Javascript	"" ''
Haskell	""
OCaml	"" String.make 0 '-'
Delphi	''

参考

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