La semántica operacional es el enfoque más antiguo para definir el significado de un lenguaje de programación. Se define una máquina abstracta y el significado de cada construcción se expresa en términos de las acciones de la máquina. Se definen reglas de transición que especifican los pasos de computación para construcciones compuestas en términos de las semánticas de sus componentes. Formalmente, un sistema de transición es una 4-tupla que define el conjunto de configuraciones, configuración inicial, configuraciones finales y la relación de

1. Semántica Operacional Integrantes: Juan Camilo Wong Michael Paternina Camilo Castro Francisco Chico

2. Semántica Operacional Es el enfoque mas antiguo primero se define una máquina abstracta M, y el significado de cada construcción se expresa en términos de las acciones a realizar por la máquina

3. Reglas de transicion se de finen reglas de transición que especifican los pasos de computación para una construcción compuesta A op B en términos de la semántica de las componentes

4. las reglas se suelen escribir en el estilo de los sistemas de deducción natural Dado que las construcciones en general modifican una cierta noción de estado, las reglas de transición se suelen definir sobre configuraciones del tipo

5. las reglas de transición tienen entonces la forma: el conjunto de estas reglas define una relación de transición (que llamaremos ) sobre el conjunto de las configuraciones

6. Formalmente, un ST es una 4-tupla (C,I,F, ), donde

7. Secuencia de ejecución Una secuencia de ejecución es una secuencia de configuraciones c1 c2 ... cn tal que Un ST se llama determinista si para cada c OE C existe como mucho un c’ tal que c c’

8. La relación de transición se define recursivamente como la mínima relación que satisface que: