空字符串

在形式语言理论中，空字符串，或空字，是长度为零的xxx字符串。

从形式上看，一个字符串是一个有限的、有序的字符序列，如字母、数字或空格。空字符串是序列长度为零的特殊情况，因此字符串中没有任何符号。只有一个空字符串，因为两个字符串只有在它们具有不同的长度或不同的符号序列时才是不同的。在形式处理中，空字符串用ε表示，有时用Λ或λ表示。空字符串不应该与空语言∅相混淆，后者是一种形式语言（即字符串集合），不包含任何字符串，甚至不包含空字符串。空字符串有几个特性。|它的字符串长度为零。空字符串是连接操作的特征元素。所有字符串的集合形成了一个关于⋅和ε的自由单体，εR=ε。空字符串的反转会产生空字符串。在无语境语法中，允许一个符号产生空字符串的生产规则被称为ε-生产，并且该符号被称为可空。

在大多数编程语言中，字符串是一种数据类型。字符串通常存储在不同的内存地址（位置）。因此，同一个字符串可以存储在内存的两个或多个地方。这样一来，内存中可能有多个空字符串，这与形式理论的定义不同，因为形式理论中只有一个可能的空字符串。然而，一个字符串比较函数会表明所有这些空字符串都是彼此相等的。即使是一个长度为零的字符串也需要内存来存储，这取决于所使用的格式。在大多数编程语言中，空字符串与空引用不同，因为空引用根本没有指向任何字符串，甚至没有指向空字符串。

空字符串是一个合法的字符串，大多数字符串操作应该在其上工作。一些语言以类似的方式处理以下部分或全部：空字符串、空引用、整数0、浮点数0、布尔值false、ASCII字符NUL或其他此类值。空字符串的表示方法通常与其他字符串类似。在带有字符串结束符的实现中，空字符串通过立即使用这个结束符来表示。

空字符串是零在语法上的有效表示（在任何基数中），它不包含前导零。由于空字符串在形式语言理论之外没有标准的视觉表示，数字0在传统上是由单一的小数位0来表示的。充满零的内存区域，被解释为一个空尾的字符串，就是一个空字符串。空的文本行显示为空字符串。这可以由两个连续的EOL发生，就像在文本文件中经常发生的那样，这在文本处理中有时被用来分隔段落。