Semántica Operacional<br />Integrantes:<br />Juan Camilo Wong<br />Michael Paternina<br />Camilo Castro<br />Francisco Chi...
Semántica Operacional<br />Es el enfoque mas antiguo<br />primero se define una máquina abstracta M, y el significado de c...
Reglas de transicion<br />se de finen reglas de transición que especifican los pasos de computación para una construcción ...
las reglas se suelen escribir en el estilo de los sistemas de deducción natural<br />Dado que las construcciones en genera...
las reglas de transición tienen entonces la forma:<br />el conjunto de estas reglas define una relación de transición (que...
Formalmente, un ST es una 4-tupla (C,I,F,    ), donde<br />
Secuencia de ejecución<br />Una secuencia de ejecución es una secuencia de configuraciones c1 c2 ... cn tal que<br />Un ST...
La relación de transición      se define recursivamente como la mínima relación que satisface que:<br />
Semántica operacional
Próxima SlideShare
Cargando en…5
×

Semántica operacional

1.182 visualizaciones

Publicado el

0 comentarios
1 recomendación
Estadísticas
Notas
  • Sé el primero en comentar

Sin descargas
Visualizaciones
Visualizaciones totales
1.182
En SlideShare
0
De insertados
0
Número de insertados
3
Acciones
Compartido
0
Descargas
0
Comentarios
0
Recomendaciones
1
Insertados 0
No insertados

No hay notas en la diapositiva.

Semántica operacional

  1. 1. Semántica Operacional<br />Integrantes:<br />Juan Camilo Wong<br />Michael Paternina<br />Camilo Castro<br />Francisco Chico<br />
  2. 2. Semántica Operacional<br />Es el enfoque mas antiguo<br />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<br />
  3. 3. Reglas de transicion<br />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<br />
  4. 4. las reglas se suelen escribir en el estilo de los sistemas de deducción natural<br />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<br />
  5. 5. las reglas de transición tienen entonces la forma:<br />el conjunto de estas reglas define una relación de transición (que llamaremos ) sobre el conjunto de las configuraciones<br />
  6. 6. Formalmente, un ST es una 4-tupla (C,I,F, ), donde<br />
  7. 7. Secuencia de ejecución<br />Una secuencia de ejecución es una secuencia de configuraciones c1 c2 ... cn tal que<br />Un ST se llama determinista si para cada c OE C existe como mucho un c’ tal que c c’<br />
  8. 8. La relación de transición se define recursivamente como la mínima relación que satisface que:<br />

×