Original: In computer science they are used , among other things , for the precise definition of data formats and the syntax of programming languages .
Simplified: Strings accepted by some automaton , such as a Turing machine or finite state automaton ;