In formal language theory, a context-free grammar is a formal grammar whose production rules
can be applied to a nonterminal symbol regardless of its context.
In particular, in a context-free grammar, each production rule is of the form
with a...
Wikipedia