Concatenation theory, also called
string theory,
character-string theory, or
theoretical syntax, studies
character strings over finite alphabets of characters, signs, symbols, or marks. String theory is foundational for formal linguistics, computer science, logic, and metamathematics especially proof theory. A
generative grammar can be seen as a recursive definition in string theory.