Unad
Unad
Unad
Presentado por
NORBEY COLLAZOS RAMIREZ
Código: 1077866001
Entregado a
FERNANDO ROJAS
Tutor
Grupo: 72
EJERCICIO A
TRABAJAR
Tabla de transiciones
F: ծ = (q0, a, λ), (q0, a)
ծ = (q0, b, a), (q1, λ)
ծ = (q1, b, a), (q1, λ)
Lenguaje regular ER = a* b b*
Derivación a la izquierda
Reglas
S
1. S → ASB
2. A→b
3. aaA → aaBB
4. S→d
A S B
5. A → aA
6. B → dcd
a A d d c d
b
Bibliografía
• Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de
lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 119 - 127).
Recuperado de https://bibliotecavirtual.unad.edu.co/login?url=https://search-
ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&l
ang=es&site=ehost-live&ebv=EB&ppid=pp_Cover
• Alfonseca Cubero, E. (2007). Teoría de autómatas y lenguajes formales. Madrid
etc., Spain: McGraw-Hill España. (pp. 117 - 150). Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/50119
• González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto.
[Archivo web]. Recuperado de http://hdl.handle.net/10596/18317