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 .