Sintaxis abstracta actualizada.