Context-Free Grammar

Uma gramática formal na qual cada regra de produção é da forma V → w, onde V é um único símbolo não terminal e w é uma string de terminais e/ou não terminais. É amplamente utilizado na definição da sintaxe de linguagens de programação.