En informatique, elles sont utilisées, entre autres, pour la définition précise des formats de données et la syntaxe des langages de programmation.
Langues finies, telles que -LCB- -LCB- a, b -RCB-, -LCB- a, aa, bba -RCB- -RCB-,