martes, 6 de noviembre de 2012

w-Regular

En esta ocación inventaremos una expreción w-regular y la expresaremos en forma NBA

Estas son las característica que debe tener nuestra expreción: 

1-. Por lo menos dos símbolos
2-. Por lo menos dos operadores


Aquí la expreción:



Posteriormente teniendo la expreción se mostrara en un diagrama de NBA(Nondeterministic Büchi Automaton)  

Aqui el diagrama NBA:



Referencias:
Principles of model checking book
Autor: Christel Baier and Joost-Pieter Katoen

1 comentario:

  1. Este autómata de plano no corresponde a este autómata. Van 3 pts.

    ResponderEliminar