空字串

空字元串是唯一在字母表Σ上，没有字元的字元串，标记为ε或λ。空字元串的长度为0。

在串接之下，空字元串是一在Σ上之自由么半群的单位元。亦即，对任一字元串s而言，sε = εs = s。

标记

在许多的程式语言内，空字元串的标记为两个双引号：""。

实作

在C语言里，空字元串以在第零位为空字符的字元阵列表示。