В формальной теории языка контекстно-свободная грамматика (CFG) — это грамматика, на которую накладывается особое ограничение: левая часть (LHS) состоит из одного нетерминального символа. CFG могут представлять набор контекстно-свободных языков (CFL).