Corrigiendo ecuaciones semánticas de Algol-like.