Autómatas y lenguajes formales

Tarea 3 Construcción de Autómatas de Pila

Presentado por
NORBEY COLLAZOS RAMIREZ
Código: 1077866001

Entregado a
FERNANDO ROJAS
Tutor

Grupo: 72

Universidad Nacional Abierta y a Distancia – UNAD

Pitalito – Huila
Octubre – 2020
 Ejercicio 1 – letra a

EJERCICIO A
TRABAJAR

Caracterización del Séptupla

autómata a pila AP = (∑, r, Q, A0, q0, f, F)

∑ = (a, b) → Aquí tenemos el alfabeto de entrada

r = (a, λ) → este sería el alfabeto de la pila
Q = (q0, q1) → este es el conjunto finito de estados
A0 = λ → este es el símbolo inicial de la pila
q0 є Q = q0 → este es el estado inicial del autómata
F Q = {q1} → este es el conjunto de estados finales
F: ծ = (q0, a, λ), (q0, a) → esta es la función de transición

Tabla de transiciones
F: ծ = (q0, a, λ), (q0, a)
ծ = (q0, b, a), (q1, λ)
ծ = (q1, b, a), (q1, λ)

Procedimiento de Inicio de la cinta de entrada en vació y la pila en Z0

paso a paso del
recorrido de una
cadena
Iniciamos con la primera transición que va de qo a qo y apilaría
una a

En la segunda transición se repite (a) que va de q0 a q0 y

aplicaría otra a

En la tercera transición con la letra b va de q0 a q1 y des

apilaría una a
En la cuarta transición con la letra b iría de q1 a q1 y des
apilaría la otra a llegando así a su estado final
Practicar y
verificar lo
aprendido

Validación de cadena paso a paso

Aquí inicia en z y por lo tanto la entrada en la cinta esta vacía

En el siguiente paso vemos que apila una a con la entrada en a

En el siguiente paso podemos ver que con otra entrada en a

apila otra a

En el siguiente paso vemos que con la entrada en b des apila

una a
 En el siguiente paso vemos que con otra entra en b des apila la
otra a y llegaría a su estado final

Lenguaje regular ER = a* b b*

Ejercicios 2: Gramática del autómata

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