This articleneeds additional citations forverification. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Empty string" – news ·newspapers ·books ·scholar ·JSTOR(November 2009) (Learn how and when to remove this message)

Informal language theory, theempty string, also known as theempty word ornull string, is the uniquestring of length zero.

Formally, a string is a finite, ordered sequence ofcharacters such as letters, digits or spaces. The empty string is the special case where the sequence has length zero, so there are no symbols in the string.There is only one empty string, because two strings are only different if they have different lengths or a different sequence of symbols.In formal treatments,^[1] the empty string is denoted withε or sometimesΛ orλ.

The empty string should not be confused with the empty language∅, which is aformal language (i.e. a set of strings) that contains no strings, not even the empty string.

The empty string has several properties:

• |ε| = 0. Itsstring length is zero.
• ε ⋅ s = s ⋅ ε = s. The empty string is theidentity element of theconcatenation operation. The set of all strings forms afree monoid with respect to ⋅ and ε.
• ε^R = ε. Reversal of the empty string produces the empty string, so the empty string is apalindrome.
• ${\displaystyle \mathrm{\forall }c\in s:P(c)}$. Statements that are about all characters in a string arevacuously true.
• The empty string precedes any other string underlexicographical order, because it is the shortest of all strings.^[2]

Incontext-free grammars, aproduction rule that allows asymbol to produce the empty string is known as an ε-production, and the symbol is said to be "nullable".

In mostprogramming languages, the term "string" often refers to instances of adata type and thus they're a concept distinct from the one in the formal theory. Such strings are typically stored at distinctmemory addresses (locations) and thus have an identity. Thus, representatives of the same formal string (e.g., the empty string) may be stored in two or more places in memory and they can be taken as names of the formal empty string.

In this way, there could be multiple representatives of the empty string in memory, in contrast with the formal theory definition, for which there is only one possible empty string. However, a "string comparison function" would indicate that all of these representatives are equal to each other.

Even a string of length zero can require memory to store it, depending on the format being used. In most programming languages, the empty string is distinct from anull reference (or null pointer) because a null reference points to no string at all, not even the empty string.The empty string is a legitimate string, upon which most string operations should work. Some languages treat some or all of the following in similar ways: empty strings, null references, the integer 0, the floating point number 0, the Boolean valuefalse, theASCII characterNUL, or other such values.

The empty string is usually represented similarly to other strings. In implementations with string terminating character (null-terminated strings or plain text lines), the empty string is indicated by the immediate use of this terminating character.

Different functions, methods, macros, oridioms exist for checking if a string is empty in different languages.^{[example needed]}

This sectionneeds expansion. You can help byadding missing information.(March 2010)

The empty string is a syntactically valid representation ofzero inpositional notation (in any base), which does not containleading zeros. Since the empty string does not have a standard visual representation outside of formal language theory, the number zero is traditionally represented by a singledecimal digit0 instead.

Zero-filled memory area, interpreted as anull-terminated string, is an empty string.

Empty lines of text show the empty string. This can occur from two consecutiveEOLs, as often occur intext files. This is sometimes used intext processing to separateparagraphs, e.g. inMediaWiki.

• Empty set
• Null-terminated string
• Concatenation theory
• String literal

• Formal languages
• String (computer science)
• Zero (linguistics)

• Articles with short description
• Short description is different from Wikidata
• Articles needing additional references from November 2009
• All articles needing additional references
• All articles needing examples
• Articles needing examples from July 2023
• Articles to be expanded from March 2010
• All articles to be expanded