Empty string
In formal language theory, the empty string is the unique string of length zero.
Formal theory
Formally, a string is a finite, ordered sequence of characters 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 a formal language (i.e. a set of strings) that contains no strings, not even the empty string.
The empty string has several properties:
- |ε| = 0. Its string length is zero.
- ε ⋅ s = s ⋅ ε = s. The empty string is the identity element of the concatenation operation. The set of all strings forms a free monoid with respect to ⋅ and ε.
- εR = ε. Reversal of the empty string produces the empty string.
- The empty string precedes any other string under lexicographical order, because it is the shortest of all strings.[2]
Use in programming languages
In most programming languages, strings are a data type. Individual strings are typically stored in consecutive memory locations. This means that the same string (for example, the empty string) could be stored in two different places in memory. (Note that even a string of length zero can require memory to store it, depending on the format being used.) In this way there could be multiple empty strings 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 empty strings are equal to each other.
In most programming languages, the empty string is distinct from a null reference (or null pointer) because a null reference does not point to any 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, which can lessen the danger: empty strings, null references, the integer 0, the floating point number 0, the boolean value false, the ASCII character NUL, 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.
| λ representation | Programming languages |
|---|---|
"" |
C, C++, Java, C#, Perl, PHP, Python, JavaScript, Go, Visual Basic .NET, Haskell, Objective-C (as a C string), OCaml, Standard ML, Scala, Tcl, Lua |
'' |
SQL, Perl, PHP, Python, JavaScript, Delphi, Pascal, Matlab |
{'\0'} |
C, C++, Objective-C (as a C string) |
std::string() |
C++ |
""s |
C++ (since the 2014 standard) |
@"" |
Objective-C (as a constant NSString object) |
[NSString string] |
Objective-C (as a new NSString object) |
q(), qq() |
Perl |
%{} |
Ruby |
""""""''''''str() |
Python |
string.Empty |
C#, Visual Basic .NET |
String.make 0 '-' |
OCaml |
{} |
Tcl |
Examples of empty strings
The empty string is a syntactically valid representation of zero in positional notation (in any base), which does not contain leading 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 single decimal digit 0 instead.
Zero-filled memory area, interpreted as a null-terminated string, is an empty string.
Empty lines of text show the empty string. This can occur from two consecutive EOLs, as often occur in text files, and this is sometimes used in text processing to separate paragraphs, e.g. in MediaWiki.
See also
References
- ↑ JOHN CORCORAN, WILLIAM FRANK, and MICHAEL MALONEY, String theory, Journal of Symbolic Logic, vol. 39 (1974) pp. 625– 637
- ↑ CSE1002 Lecture Notes - Lexicographic