在计算机科学或形式语言中，空字串是指在字母表Σ上，其长度为 0 的那唯一字串，以"ε"或"λ"来标记。在物件导向程式语言中，空字串共非空参照。一个字串型别的空参照并未指向一个字串物件，而对其操作则会导致错误。空字串则可以使用字串运算。
特性.在形式语言中，空字串有以下特性：程式语言可能会维持这些特性，但保留特殊实作方式的可能。
表示方式.空字串通常使用和其它一般字串相同的方式来表示。在使用结束字符的语言（如C字串或纯文字的一行）中，则单统地将结束字