Original: In computer science they are used, among other things, for the precise definition of data formats and the syntax of programming languages.
Simplified: A precise definition is that