[VERIFICACIÓN Y VALIDACIÓN] Expresión ω-regular

Esta semana se encargó hacer una expresión ω-regular con almenos 2 simbolos y dos operadores y despues dibujar un NBA de la expresión.

Hice la siguiente expresión:

 Y su NBA es el que sigue:

Referencias:

Link 1
Link 2
Link 3