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 indicated by a decision procedure (a set of related YES\/NO questions) where the answer is YES.