Context free grammars

• How to Prove That a Formal Grammar Is Correct
  Prove grammar correctness by showing soundness and completeness: the grammar generates every intended string and no unintended strings.