Tarea 11.

Para esta semana se nos encargo elegir un problema del siguiente pdf referente a la Lógica Temporal Lineal.
Yo elegí lo siguiente:

Y según como se indican los operadores que tenemos:

Entonces tenemos que la propiedad expresada seria la siguiente:

Eventualmente siempre ocurre A.

Referencias:

Link1

Link2

Tarea 10.

Expresión Regular y Autómata Buchi

Para esta tarea se nos encargo elaborar una expresión w-regular y crear un NBA

Mi expresión regular es la siguiente:

ABC(A+CB*)

Simbolos utilizados:

• Asterisco * : El asterisco sirve para encontrar algo que se encuentra repetido 0 o más veces.
• Suma + : Se utiliza para encontrar una cadena que se encuentre repetida una o más veces. También es posible utilizar este metacarácter en conjunto con el signo de pregunta para limitar hasta donde se efectúa la repetición.

Su NBA es el siguiente:

ABC

ABC(A+CB*)

Referencias:

http://es.wikipedia.org/wiki/Expresi%C3%B3n_regular