在形式語言理論中，空字符串或空詞是長度為零的xxx字符串。

形式上，字符串是有限的、有序的字符序列，例如字母、數字或空格。 空字符串是序列長度為零的特殊情況，因此字符串中沒有符號。只有一個空字符串，因為兩個字符串只有在長度不同或符號序列不同時才是不同的。在形式上 處理，空字符串用 ε 表示，有時用 Λ 或 λ 表示。

空字符串不應與空語言 ? 混淆，后者是一種形式語言（即一組字符串），不包含任何字符串，甚至不包含空字符串。

空字符串有幾個屬性：

• |ε| = 0。其字符串長度為零。
• ε ? s = s ? ε = s。 空字符串是串聯操作的標識元素。 所有字符串的集合形成一個關于 ? 和 ε 的自由幺半群。
• εR = ε。 空字符串的反轉產生空字符串。
• 空字符串在字典序中位于任何其他字符串之前，因為它是所有字符串中最短的。

在上下文無關文法中，允許符號產生空字符串的產生式規則稱為 ε-產生式，并且該符號被稱為可為空的。

在大多數編程語言中，字符串是一種數據類型。 字符串通常存儲在不同的內存地址（位置）。 因此，相同的字符串（例如，空字符串）可能存儲在內存中的兩個或多個位置。

這樣一來，內存中就可以有多個空串，而不像形式理論定義那樣只有一個可能的空串。 但是，字符串比較函數會指示所有這些空字符串彼此相等。

即使是長度為零的字符串也可能需要內存來存儲它，具體取決于所使用的格式。 在大多數編程語言中，空字符串與空引用（或空指針）不同，因為空引用根本不指向任何字符串，甚至不指向空字符串。空字符串是合法的字符串，大多數字符串操作應該 工作。 某些語言以類似的方式處理以下部分或全部：空字符串、空引用、整數 0、浮點數 0、布爾值 false、ASCII 字符 NUL 或其他此類值。

空字符串通常與其他字符串類似地表示。 在使用字符串終止字符（空終止字符串或純文本行）的實現中，空字符串由立即使用該終止字符指示。

空字符串是位置表示法（在任何基數中）零的句法有效表示，不包含前導零。 由于空字符串在形式語言理論之外沒有標準的視覺表示，因此數字零傳統上由單個十進制數字 0 表示。

零填充內存區域，被解釋為以 null 結尾的字符串，是一個空字符串。

空文本行顯示空字符串。 這可能發生在兩個連續的 EOL 中，這在文本文件中經常發生，有時在文本處理中用于分隔段落，例如 在 MediaWiki 中。