A marshaling point for several loosely connected models in discrete mathematics,
based on free monoids.
Symbol processing systems, automata,
symbolic dynamics for dynamical systems, strings of DNA.
Finite state Markov machines.
Systems of strings of symbols.
The Turing machine
and λ-calculus are classic examples,
but there are many ways of operating on strings of symbols.