A gramática formal é uma objeto matemático que permite especificar uma linguagem ou língua, ou seja, é um conjunto de regras capazes de gerar todas as possibilidades combinatórias desta linguagem, e isto é uma linguagem formal ou linguagem natural.

A expressão "gramática formal" por ter os sentidos:

Quando referimos a linguagem natural as regras combinatórias recebem o nome de sintaxe e são inconscientes. Existem diversos tipos de gramáticas formais que geram linguagens formais, a mais conhecida e aprovada é a Hierarquia de Chomsky.

Uma Gramática formal é uma tupla onde: