Context-Free Grammars

production rules consists of a head and a body

Backus-Naur form or BNF is a way of writing down the production rules of a CFG