Tarea 10 - Expresiones ω-regular

Para esta tarea debemos inventar una expresión del tipo ω-regular que cumpla con los siguientes requisitos:

• Contener por lo menos dos símbolos.
• Contener por lo menos dos operadores.

Una vez definida la expresión, dibujar su NBA (Nondeterministic Büchi Automaton) correspondiente.

Mi expresión es la siguiente:

Y aquí represento su NBA correspondiente:

Fuentes de consulta.

Principles of Model Checking