definizione formale di semantica