Dos gramáticas que describan el mismo lenguaje se llaman gramáticas equivalentes.
Esto significa que ambas gramáticas generan el mismo conjunto de cadenas de símbolos que son sentencias válidas en el lenguaje. Por ejemplo, si una gramática describe el lenguaje de los números enteros positivos y otra gramática también describe el mismo lenguaje,