O, para ser un poco más precisos: ¿qué lenguajes de programación están definidos por una gramática libre de contexto?

De lo que deduzco, C ++ no está libre de contexto debido a cosas como macros y plantillas. Mi instinto me dice que los lenguajes funcionales pueden estar libres de contexto, pero no tengo ningún dato sólido para respaldar eso.

Representante adicional para ejemplos concisos: -)