Dada una lista de caracteres que sólo puede contener los elementos (, ), [, ], {y }, deseamos construir un procedimiento que verifique que la expresión es balanceada, donde, por ejemplo, las secuencias [()]y (){}son correctas, pero [(]) y {(no lo son.
