Grammar theory to model symbol strings originated from work in computational linguistics aiming to understand the structure of natural languages.
