martes, 13 de noviembre de 2012

Tarea 11 - LTL

Para esta penúltima tarea se nos asignó elegir un ejercicio del capítulo 14 de este pdf.


El ejercicio que elegí es el siguiente:



14.7 Considerando un sistema de transiciones con los siguientes enlaces de estados:

¿Es la siguiente expresión verdadera en todos sus caminos?




En el caso de que tomemos como estado inicial el estado donde x=0 y y=0 observamos que al haber la transición hacia los otros 2 estados regresa a este mismo estado inicial por lo que si cumpliría con la condición. 

Si tomamos como estado inicial el estado en que x=1 y=0 observamos que al pasar al estado donde x=0 y=0 se regresa otra vez hacia x=1 y=0 por lo que aquí se deja de cumplir la condición y concluimos que: 
La expresión no es verdadera en todos sus caminos.

1 comentario:

  1. Es un "o"... Es verdadera en todos los estados... Van 5 pts.

    ResponderEliminar