Academia de Informática

Programación de Sistemas
Tarea 1: Repaso Expresiones regulares y Autómatas Finitos

Ejercicio I: Realiza el AFD y una expresión regular que modele cada uno de los siguientes
lenguajes:
I. Comentarios que comienzan por la secuencia <!-- y terminan con la primera aparición
de --> que no se solape con ella. Por ejemplo, son válidos los comentarios <!-- esta
es -mi- página --> o <!-- f(a)->b --> pero no <!---> o <!-- a->.
II. El lenguaje de las siglas delimitadas por secuencias no vacías de asteriscos, donde se
entiende que son siglas las secuencias formadas por dos o más letras mayúsculas con un
punto inmediatamente detrás de cada una de tales letras. Así, pertenecerán a este
lenguaje, por ejemplo, *S.A.*, ***M.A.S.H.*** y **X.Y.*, pero no *A.*,
P.I.B. o *ETC...*.

Ejercicio II: Considera la siguiente especificación léxica (incompleta) de un lenguaje ficticio:

Añade una expresión regular para la categoría comentario, teniendo en cuenta que los
comentarios en ese lenguaje comienzan por tres puntos escritos como ... o como .: y
terminan también con ... o con .: (con la primera de esas secuencias que aparezca tras la
secuencia de apertura). Por ejemplo, esto son 5 comentarios válidos:
.:Este es mi primer comentario...
.:Este.es..mi::segundo:.comentario.:
...Este:es::mi:::tercer::::comentario, observa bien el final..:
...:::::::::::...
....: