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

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