Original: In computer science they are used, among other things, for the precise definition of data formats and the syntax of programming languages.
Simplified: Finite languages, such as {{a, b}, {a, aa, bba}},