Variables

$$\begin{aligned} M &:= \highlight{x}\\ &\mid \app{M}{M}\\ &\mid \lam{x}{M} \end{aligned}$$

De la primera parte de la gramática y de la convención de que $x$ es un identificador, sabemos que cualquier identificador es un término válido. Por ejemplo, $x$, $y$, $z$, $f$, $nombre$ son términos válidos en el cálculo lambda.

En particular estos términos van a denotar variables, pero eso no lo dice la gramática. La gramática nos dice que $x$ es un término válido, pero no nos dice qué significa.