Teoria da Computação

Tipo 2: Gramáticas Livres de Contexto (GLC)

A restrição imposta é que, em uma regra de substituição, o ‘lado esquerdo’ deve apenas conter um símbolo não terminal (ex.: AB -> aa não é permitida). As linguagens geradas são chamadas linguagens livres de contexto.