在串接之下,空字符串是一在Σ上之自由么半群的单位元。亦即,对任一字符串s而言,sε=εs=s。
在许多的编程语言内,空字符串的标记为两个双引号:""。
在C语言里,空字符串以在第零位为空字符的字符阵列表示。