parsing expression grammar, or PEG, is a type of analytic formal grammar.