空串

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

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

特性

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

$|\lambda \,|=0$ 。字符串长度为 0 。
$\lambda \,+s=s+\lambda \,=s$ 。在串接运算之下，空串是一个在Σ上之自由么半群的单比特素。
${\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	`''`

参考

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