Conjunto de gramáticas que generan los lenguajes libres del contexto. Los lenguajes descritos por estas gramáticas pueden ser reconocidos por un autómata con pila no determinista. Son la base teórica para la estructura de la mayoría de los lenguajes de programación.
