Контекстно-свободные грамматики (КС-грамматики, бесконтекстные грамматики) отличаются от других видов грамматик тем, что способ замены каждого нетерминала на другие символы не зависит от контекста. 25

КС-грамматики имеют правила вида: A → α, где: 1

• A — нетерминал; 2
• α — цепочка нетерминалов и терминалов, в том числе пустая. 12

В других видах грамматик, например в контекстно-зависимых, правила замены символов зависят от контекста. 2

КС-грамматики находят большое применение в информатике, ими задаётся грамматическая структура большинства языков программирования, структурированных данных и т. д.. 35