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:
Principles of model checking book
Autor: Christel Baier and Joost-Pieter Katoen
Este autómata de plano no corresponde a este autómata. Van 3 pts.
ResponderEliminar