En esta
práctica se tubo que inventar una expresión ω–regular el cual debería de
contener por lo menos dos símbolos y 2 operadores.
Además se
debe crear un NBA (Non-Deterministic Buchi Automata).
Mi expresión ω -regular es la siguiente:
Mi expresión ω -regular es la siguiente:
A+B(AB*+C)
El símbolo * indica que hay cero o más del elemento precedente.
El símbolo + indica que hay uno o más del elemento precedente.
1 comentario:
Esto quedó inconcluso. Ahí no termina la construcción. Van 4 pts porque aún no te llegaste a equivocar :P
Publicar un comentario