Grammars provide a convenient and useful way to describe languages in a fashion similar to inductive definition.

Informally, a grammar is a set of rules used to define the structure of the strings in a language.

Grammars provide a technique to test whether a string belongs in a language (in a fashion similar to the calculation of a recursively defined function).