Lo que dice Diego es correcto.
Acá el uso de las variables es igual que en matemática. Si pregunto:
x = y = 1 es una respuesta correcta.
Me parece que el Σ al final de la parte iii es un error, debería ser Δ (sino no tiene sentido, el abecedario tiene solo 7 elementos que son los que se definieron arriba).
La forma de demostrar que pertence al lenguaje es mostrar cómo podés construir al elemento a partir de las reglas (dar la secuencia de formación). Supongo que la duda venía por el error de tipeo.
Saludos