Что такое контекстно-свободная грамматика?

Может ли кто-нибудь объяснить мне, что такое контекстно-свободная грамматика? Посмотрев статью в Википедии, а затем статью о формальной грамматике в Википедии, я совершенно сбит с толку. Не мог бы кто-нибудь объяснить, что это такое?

Мне интересно это, потому что я хочу исследовать синтаксический анализ, а также, с другой стороны, ограничение механизма регулярных выражений.

Я не уверен, что это термины имеют прямое отношение к программированию или, если они больше относятся к лингвистике в целом. Если это так, прошу прощения, возможно, это можно было бы переместить?