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 } } ,