A gramática livre de contexto, em teoria de linguagem formal, é uma gramática formal onde todas as regras de produções são da forma A → α {\displaystyle A\ \to \ \alpha } A {\displaystyle A} é um símbolo não terminal, e α {\displaystyle \alpha } é uma cadeia de terminal e/ou não terminais. Wikipedia