Definition:Formal Grammar

Let $$\mathcal{F}$$ be a formal language whose alphabet is $$\mathcal{A}$$.

The formal grammar of $$\mathcal{F}$$ is the set of rules of formation which determine whether words in $$\mathcal{A}$$ belong to $$\mathcal{F}$$ or not.