In computer science, a parsing expression grammar is a type of analytic formal grammar, i.e. it describes a formal language in terms of a set of rules for recognizing strings in the language. Wikipedia