Fase 3 – Modelar problemas de lenguajes independientes del contexto

Claudia Patricia Navas Guevara – 63484308

Curso:

Autómatas y lenguajes formales – 301405_29

Tutor (a):

Ing. MsC. Rolando Fabian Junco

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Octubre de 2019
 Actividad individual

Actividad 1: Autómata de Pila

Diligenciar la tabla

EJERCICIO PARA
TRABAJAR

Caracterización Autómata a Pila – (AP)

del autómata a
pila Características:

- Generalmente no es determinista dado que se permite que haya

varias acciones posibles en cada momento.
- Pueden aceptar lenguajes que no pueden aceptar los autómatas
finitos.
- Las transiciones entre los estados que ejecutan los autómatas de
pila dependen de los símbolos de entrada y de los símbolos de la
pila
- Un AP se encuentra en un estado determinado y el estado
siguiente depende del estado actual, el símbolo de entrada y el
símbolo superior de la pila.
- Se define mediante una séptupla:
𝐴𝑃 = (∑, 𝑟, 𝑄, 𝐴0 , 𝑞0 , 𝑓, 𝐹)
𝑑𝑜𝑛𝑑𝑒:
∑ = 𝑒𝑠 𝑒𝑙 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑒𝑛𝑡𝑟𝑎𝑑𝑎
𝑟 = 𝑒𝑠 𝑒𝑙 𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑝𝑖𝑙𝑎
𝑄 = 𝑒𝑠 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑓𝑖𝑛𝑖𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠
𝐴0 ∈ 𝑟 = 𝑠𝑖𝑚𝑏𝑜𝑙𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙 𝑑𝑒 𝑙𝑎 𝑝𝑖𝑙𝑎
𝑞0 ∈ 𝑄 = 𝑒𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙 𝑑𝑒𝑙 𝑎𝑢𝑡ó𝑚𝑎𝑡𝑎
𝐹 ⊆ 𝑄 = 𝐶𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 𝑓𝑖𝑛𝑎𝑙𝑒𝑠
 𝑓 = 𝑓𝑢𝑛𝑐𝑖ó𝑛 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖ó𝑛

𝜎(𝑞0 , 𝑎, 𝑍) = {(𝑞0 , 𝐴)}

𝜎(𝑞0 , 𝑎, 𝐴) = {(𝑞0 , 𝐵)}
𝜎(𝑞0 , 𝑎, 𝐵) = {(𝑞0 , 𝐴𝐵)}
𝜎(𝑞0 , 𝑏, 𝐵) = {(𝑞1 , 𝜆)}
𝜎(𝑞1 , 𝑏, 𝐵) = {(𝑞1 , 𝜆)}

Procedimiento Cadena: aaaaaabbb

de paso a paso
del recorrido de
una cadena

1. El autómata se encuentra en el estado q0, y en la pila se

encuentra Z.

2. El autómata se encuentra en el estado q0, lee el símbolo a y

tiene el símbolo A en la cima de la pila.
3. El autómata lee el símbolo a, continua en el estado q0 y en la
cima de la pila elimina A y tiene B.

4. El autómata lee el símbolo a, continua en el estado q0 y en la

cima de la pila tiene AB.

5. El autómata lee el símbolo a, continua en el estado q0 y en la

cima de la pila tiene BB.

6. El autómata lee el símbolo a, continua en el estado q0 y en la

cima de la pila tiene ABB.

7. El autómata lee el símbolo a, continua en el estado q0 y en la

cima de la pila tiene BBB.
8. El autómata lee el símbolo b, pasa al estado q1, elimina de la
pila el símbolo BBB quedando en la cima BB.

9. El autómata lee el símbolo b, continua en el estado q1 y en la

cima de la pila tiene B.

10. El autómata lee el símbolo b, pasa al estado final q1, elimina

de la pila el símbolo B y en la cima queda 𝜆.
Practicar y
verificar lo
aprendido
 Preguntas de control

1. En la minimización del autómata en la primera validación, como estados equivalentes

quedan:

A. q0, q4, q6 X

B. q4, q0, q6

C. q6, q4, q0

D. q4, q6, q0

2. Los nombres de los conjuntos que se manejan después de la primera validación de estados
son:

A. X, M, Z, N X

B. A, B, C, D

C. X, R, Z, D

D. A, M ,N, Z

3. En la tabla de transición final como resultado de la minimización del autómata:

0 1
B ? ?

A. B,A X

B. Z,N

C. Z,A

D. A,B
 Referencias

Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes

formales. Recuperado

de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=

Amaya, Carlos Alberto (2015). Autómatas y Lenguajes Formales. Recuperado de

https://www.academia.edu/23726621/AUTOMATAS_Y_LENGUAJES_FORMALES

Lilikind1 (2013). Autómatas de Pila 3. Recuperado de

https://www.youtube.com/watch?v=YjEPHAJJAzg

Jflap.org (S.F). JFLAP Tutorial. Recuperado de http://www.jflap.org/tutorial/

Quiroga Rojas, Edgar Alberto (2008). Módulo Autómatas y Lenguajes Formales. UNAD Bogotá