UNIVERSIDAD SIMÓN BOLÍVAR

INGENIERÍA DE SISTEMAS

TEORÍA DE COMPILADORES

TALLER DE CREACIÓN DE AFN CON JFLAP

ABRIL DE 2021

OBJETIVO: Aplicar el algoritmo o método de Thompson para construir autómatas finitos no

determinísticos (AFN) a partir de expresiones regulares, usando la herramienta JFLAP como editor
gráfico.

1. Sea Σ = {𝑎, 𝑏, 𝑐} un alfabeto. Para cada una de las siguientes expresiones regulares,
construya el AFN correspondiente por medio del método de Thompson:
a. (𝑎𝑏∗ )∗ 𝑐𝑐
b. (𝑎 |𝑏)(𝑎|𝑏)∗ 𝑐𝑐 ∗
c. ((𝑎|𝑏)𝑐(𝑎|𝑏))∗

2. Sea Σ = {0, 1} el alfabeto. Para cada lenguaje dado a continuación, construya una
expresión regular que lo defina y luego construya el AFN correspondiente por medio del
algoritmo de Thompson:
a. 𝐿 = {10𝑛 1𝑚 𝑑𝑜𝑛𝑑𝑒 𝑛 ≥ 0 𝑦 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 3 𝑦 𝑚 ≥ 1}
b. 𝐿 = {1𝑛 0𝑚 , 𝑑𝑜𝑛𝑑𝑒 𝑛, 𝑚 ≥ 0 𝑦 𝑛 + 𝑚 = 3}

INDICACIONES GENERALES:

 El taller puede ser realizado en grupos de dos personas.

 Deben entregar un solo documento (Word o pdf) con la solución completa del taller.
 Use Jflap para dibujar los autómatas. Puede grabar los autómatas como imágenes para
luego ubicarlos en el documento a entregar.
 Fecha de entrega: Lunes 19 de abril, hasta las 6:00 pm.