Otro ejemplo para un lenguaje es formula_9.