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.
Chaînes acceptées par certains automates, telles qu'une machine de Turing ou un automate à l'état fini ;