Logical View of a String as an Ordered Sequence

When you type your name, send a message, or search for something online, you're working with strings. But what exactly is a string? Most developers immediately think of strings as just 'text'—a sequence of letters displayed on a screen. While this intuition captures part of the truth, it misses the profound mathematical structure that makes strings one of the most important and ubiquitous data structures in all of computer science.

In this page, we'll develop a rigorous conceptual model of strings that transcends any particular programming language. By understanding strings as ordered sequences of characters, you'll gain insight into why certain operations are possible, why others are expensive, and how to reason about string-based problems systematically.

Before we can reason precisely about strings, we need a formal definition that captures their essential nature. This definition must be independent of any programming language, memory model, or hardware architecture.

Definition: A string is a finite, ordered sequence of symbols drawn from a fixed set called an alphabet.

Let's unpack each component of this definition:

• Finite: A string has a definite, countable length. It begins somewhere and ends somewhere. There's no such thing as an infinite string in practical computing.

• Ordered: The position of each symbol matters. The string "abc" is fundamentally different from "cab" or "bac", even though they contain the same symbols.

• Sequence: Symbols appear one after another in a line. Unlike a set (which has no order) or a bag (which allows duplicates but has no order), a sequence preserves both duplication and position.

• Symbols from an alphabet: Every symbol in a string comes from a predefined collection. In computing, this is typically the set of characters a system can represent—ASCII characters, Unicode code points, or some subset thereof.

Example:

Consider the string "hello". Under our formal definition:

• It is finite: exactly 5 symbols long
• It is ordered: 'h' comes before 'e', which comes before 'l', and so on
• It is a sequence: the symbol 'l' appears twice, at positions 3 and 4
• Alphabet: each symbol belongs to the English lowercase alphabet subset

This same formal structure applies whether you're dealing with "hello" in Python, "hello" in Java, or "hello" in Haskell. The underlying abstraction is universal.

The property of order is what fundamentally distinguishes sequences (and hence strings) from other collections. This ordering has profound implications for both the meaning of strings and the operations we can perform on them.

Order creates identity:

In a set, {a, b, c} and {c, b, a} are identical—sets don't care about order. But the strings "abc" and "cba" are completely different entities. They may contain the same characters, but they represent different sequences of symbols.

This matters because text has inherent linear structure. The word "stressed" is meaningfully different from "desserts" (its reverse), even though they're anagrams. The order of characters carries semantic information.

Order enables position-based operations:

Because strings are ordered, every character occupies a specific position (also called an index). This unlocks a rich set of operations:

• Access the character at position k
• Find the position where a character first appears
• Extract a contiguous subsequence (substring) from position i to j
• Traverse characters in sequence from start to end (or reverse)

Without the concept of order, none of these operations would be meaningful. You couldn't ask "what's the third character?" in a set—there is no 'third' in a set.

The most powerful mental model for understanding strings is to visualize them as a linear sequence of boxes, where each box contains exactly one character and is labeled with a position number.

Consider the string "ALGORITHM":

Position:  0    1    2    3    4    5    6    7    8
         ┌────┬────┬────┬────┬────┬────┬────┬────┬────┐
         │ A  │ L  │ G  │ O  │ R  │ I  │ T  │ H  │ M  │
         └────┴────┴────┴────┴────┴────┴────┴────┴────┘

This visualization immediately reveals several important properties:

Why zero-based indexing?

Zero-based indexing might seem unnatural initially—we don't count "zeroth" in everyday life. But it has deep mathematical and computational advantages:

1. Offset interpretation: Position k represents how far you've moved from the start. Position 0 = no movement (you're at the start). Position 5 = you've moved past 5 characters.

2. Simpler arithmetic: With zero-based indexing, the formula for finding the character at position k is simply: address = start + k × size. No need to subtract 1.

3. Consistent with memory addressing: Computer memory naturally works this way—the address of an element is its offset from a base address.

4. Half-open intervals: Ranges like [0, n) naturally describe a sequence of length n without any "+1" or "-1" corrections.

One of the most important—and often overlooked—concepts in string theory is the empty string: a string containing zero characters.

Definition: The empty string, denoted as "" (two quotation marks with nothing between them), or sometimes as ε (epsilon) in formal language theory, is the unique string of length 0.

The empty string isn't merely an edge case to handle grudgingly—it's a fundamental mathematical object with important properties:

Identity for concatenation:

Just as 0 is the identity for addition (n + 0 = n) and 1 is the identity for multiplication (n × 1 = n), the empty string is the identity for string concatenation:

• "hello" + "" = "hello"
• "" + "world" = "world"
• "" + "" = ""

Concatenating the empty string doesn't change anything.

Why the empty string matters in practice:

1. Input validation: User input might be empty. If your code assumes at least one character exists, it will fail.

2. Split operations: Splitting a string can produce empty strings. For example, splitting "a,,b" by comma gives ["a", "", "b"].

3. Recursive algorithms: Many string algorithms have the empty string as their base case. It's what remains when you've consumed all characters.

4. Concatenation building: When building a string piece by piece, you typically start with the empty string and append to it.

Professional engineers always consider the empty string when designing string-handling code. It's not an afterthought—it's part of the design.

A recurring source of confusion is the relationship between strings and characters. Let's clarify this distinction precisely.

A character is a single, atomic symbol from an alphabet. It cannot be broken down further (at the logical level). Examples: 'A', '7', '$', '😀'.

A string is a sequence of zero or more characters. It's a composite entity that may contain any number of characters.

Critically: A single-character string is not the same as a character.

The string "A" (a sequence containing one character) and the character 'A' (the character itself) are conceptually different:

• "A" has type string and length 1
• 'A' has type character and the concept of length doesn't apply

Many programming languages enforce this distinction syntactically (using different quote marks), while others blur it for convenience.

The containment relationship:

Characters compose strings. A string is made of characters in the same way that a word is made of letters. You can:

• Extract a character from a string (given a position)
• Construct a string from characters (given a sequence of characters)
• Test whether a character appears within a string

This relationship is fundamental to understanding string operations. When we 'traverse' a string, we're visiting each character in sequence. When we 'compare' strings, we're comparing characters position by position.

Because strings are ordered sequences, we can meaningfully extract portions of them. Two related but distinct concepts are substrings and subsequences.

Substring:

A substring is a contiguous portion of a string. Every character in a substring appears consecutively in the original string.

For the string "ALGORITHM":

• "ALGO" is a substring (positions 0-3)
• "RITH" is a substring (positions 4-7)
• "ALGORITHM" is a substring of itself (the whole string)
• "" (empty string) is a substring (trivially)
• "ARM" is NOT a substring (characters aren't contiguous)

Subsequence:

A subsequence is obtained by deleting some (possibly zero) characters from a string without changing the order of remaining characters. Characters need not be contiguous.

For the string "ALGORITHM":

• "ARM" is a subsequence (A at 0, R at 4, M at 8)
• "AGT" is a subsequence (A at 0, G at 2, T at 6)
• "ALGORITHM" is a subsequence of itself
• "ANY" is NOT a subsequence (Y doesn't appear in the string)
• "HMT" is NOT a subsequence (this ordering doesn't match the original)

Two strings are equal if and only if they contain exactly the same characters in exactly the same positions.

Formal definition: Strings A and B are equal iff:

1. length(A) = length(B), AND
2. For every position i from 0 to length-1: A[i] = B[i]

This definition has several important implications:

• Length must match first: If lengths differ, strings cannot be equal—no need to compare characters.
• Position-by-position comparison: Characters at corresponding positions must match.
• Character equality depends on the character set: Does 'A' equal 'a'? That depends on whether comparison is case-sensitive.
• Order of comparison matters for efficiency: Comparing from the start lets us fail fast on early mismatches.

Examples of string equality:

Lexicographical (Dictionary) Ordering:

Beyond equality, we often want to compare which of two strings comes 'first' in a sorted order. This is called lexicographical ordering—essentially, dictionary order.

The algorithm:

1. Compare characters position by position, starting from position 0
2. At the first position where characters differ, the string with the 'smaller' character comes first
3. If all compared characters match but lengths differ, the shorter string comes first

Examples:

• "apple" < "banana" (because 'a' < 'b' at position 0)
• "apple" < "application" (all match up to "appl", but "apple" is shorter)
• "Zebra" < "apple" in ASCII (because 'Z' = 90 < 'a' = 97)

This ordering is fundamental to sorting strings and searching in sorted collections.