martes, 6 de noviembre de 2012

T10. Propiedades de modelos de verificación

La tarea en esta semena consistio en:
  • Inventen una expresión ω-regular con por lo menos dos símbolos y por lo menos dos operadores.
  • Dibujen el NBA que le corresponde.
Como ya antes vimos las propiedades pueden ser: 
  • Deterministas 
  • No Deterministas
Esta sería la expresión a representar :
(W + XY*V)*XY*

Los operadores utilizan diferentes funciones:
Asterisco(*): Esto es cuando algo se repiten  0 o mas veces.
Suma(+): Sirve para encontrar una cadena repetida.

Concatenación:


 Unión: 

Retorno: 


2 comentarios: