形式言語理論における空文字列（くうもじれつ・からもじれつ、empty string）またはヌル文字列（null string）とは、長さが0の一意な文字列であり、文字列における空集合である。主にコンピュータ、特にプログラミング言語において用いられる用語である。
