Gramática formal
Origem: Wikipédia, a enciclopédia livre.
A gramática formal é uma objeto matemático que permite especificar uma linguagem ou língua, ou seja, é um conjunto de regras capaz 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:
- Gramática de um linguagem formal.
- Descrição formal de parte da gramática de uma linguagem natural.
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.
[editar] Definição
Uma Gramática formal é uma tupla
onde:
- N é um alfabeto de símbolos não terminais (variáveis).
- T é um alfabeto de símbolos terminais (constantes).
- Concluímos que
. denotaremos com
o alfabeto da gramática.
é o símbolo inicial o axioma da gramática.
é o conjunto de regras de produção, da forma
{ α → β | α
β
}

