空字符串是唯一在字母表Σ上，没有字符的字符串，标记为ε或λ。空字符串的长度为0。空字符串在内存中占一个字节。
在串接之下，空字符串是一在Σ上之自由么半群的单位元。亦即，对任一字符串s而言，sε = εs= s。
标记在许多的编程语言内，空字符串的标记为两个双引号：""。
实作在C语言里，空字符串以在第零位为空字符的字符阵列表示。