Esto es usado en el estudio de la semántica operacional.