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.
Es un "o"... Es verdadera en todos los estados... Van 5 pts.
ResponderEliminar