Este objeto de aprendizaje define la semántica operacional de paso pequeño de los lenguajes de programación. Explica para qué sirve esa semántica y muestra un ejemplo de semántica operacional real (para un lenguaje imperativo ...