ACTIVIDAD FASE 3

Fabián Camilo Moreno Baracaldo

Código: 1073683851

Universidad Nacional Abierta y a Distancia

Autómatas y Lenguajes Formales
2019
EJERCICIO A 1. Ejercicio 1
TRABAJAR

Caracterización - La definimos por un Séptupla

del autómata a
pila AP= (Σ, Γ, Q, A0, q0, f, F)

1. Σ={a}
2. Γ={a}
3. Q={q0,q1}
4. A0= λ
5. q0=q0
6. F=q1
7. f=
δ= (q0, a, λ),(q0, a)
δ= (q0, b, a),(q1, λ)
δ= (q1, b, a),(q1, λ)

Vamos a verificar la cadena “aaaabbbb”

- Paso 1: Ingresamos al estado q0 el cual es

nuestro estado inicial

- Paso 2: en la primera entrada a según nuestra

tabla de funciones (q0, a, λ),(q0, a) si se ingresa
una a se inserta una a en la pila y no se remueve
nada
- Paso 3: en la Segunda entrada a según nuestra
tabla de funciones (q0, a, λ), (q0, a) si se ingresa
una a se inserta una a en la pila y no se remueve
nada.

- Paso 4: en la Tercera entrada a según nuestra

tabla de funciones (q0, a, λ), (q0, a) si se ingresa
una a se inserta una a en la pila y no se remueve
nada.

- Paso 5: en la Cuarta entrada según nuestra tabla

de funciones (q0, a, λ), (q0, a) si se ingresa una a
se inserta una a en la pila y no se remueve nada.
 - Paso 6: en la quinta entrada según nuestra tabla
de funciones (q0, b, a), (q1, λ) si se ingresa una b
de q0 a q1 se remueve una a de la pila no se ingresa
nada.

- Paso 7: en la sexta entrada según nuestra tabla de

funciones (q1, b, a),(q1, λ)si se ingresa una b en q1
se remueve una a de la pila no se ingresa nada.

- Paso 8: en la Septima entrada según nuestra tabla

de funciones (q1, b, a),(q1, λ)si se ingresa una b en
q1 se remueve una a de la pila no se ingresa nada.

- Paso 9: en la Octava entrada según nuestra tabla

de funciones (q1, b, a),(q1, λ)si se ingresa una b en
q1 se remueve una a de la pila y no se ingresa nada.
 - Paso 10: Así finalizaría nuestro autómata con el
mismo estado inicial después de las 8 iteraciones.

Practicar y Validamos las iteraciones

verificar lo
aprendido
 Bibliografía

- Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas Para
Informáticos. (pp. 119 - 127). Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&lan
g=es&site=edslive&ebv=EB&ppid=pp_Cover

- Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 - 124).

Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=1
0

- Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). (pp. 249 - 276). Teoría de autómatas y
lenguajes formales. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=6

- Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 73 - 126).

Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351