Está en la página 1de 6

JUAN MANUEL PARDO

Actividades Individuales: Ejercicio No. 3

De acuerdo al último dígito de su cédula o tarjeta de identidad,


identifique el ejercicio asignado en la siguiente tabla:

Último dígito Ejercicio


de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

ACTIVIDAD 1: Autómatas de Pila


1. Ejercicio 3

El diseño solicitado corresponde al diligenciamiento de la siguiente


tabla:
EJERCICIO A Ejercicio No. 3
TRABAJAR

Caracterizació En este espacio se realiza:


n del autómata - Las características son
a pila
Σ= {0, 1}
Γ = {Z, C, B}
Q = {q0, q1}
A0 = ʎ
q0 ∈ Q = q0
F ⊆ Q = {q0, q1}
f = función de transición
ơ = (q0, 0, Z), (q0, B)
ơ = (q0, 0, C), (q0, BC)
ơ = (q0, 0, B), (q0, C)
ơ = (q0, ʎ, Z), (q1, ʎ)
ơ = (q0, 1, C), (q1, ʎ)
ơ = (q1, 1, C), (q1, ʎ)

- Realizar un cuadro comparativo de la


Equivalencia entre AP por vaciado de pila y AP
por estado final

Asumimos que la cadena de entrada es 00001111,


el valor de la pila es Z, asumiéndolo como fondo de
la pila.
Al estar en Q0 e ingresar un 0 se mira el valor que
hay en la pila estando Z, por lo que el estado se
mantendría y agregaría una B a la pila

Al ingresar nuevamente un cero, pero esta vez al


estar una B en la pila el estado seguiría siendo Q0
pero agregaría una C a la pila
El tercer carácter de la cadena de entrada vuelve a
ser cero y esta vez en la pila hay una C, el estado
continua en Q0 y agrega a la pila BC

Ahora estando en Q0 entra un 1 teniendo una C el


la pila, esto hace que el estado cambie a Q1 y no
se agrega nada a la pila
Estando en Q1 los caracteres que siguen son 1
pero al no haber una C en la pila no hay un camino
por el que puedan continuar, debido a esto el
ejercicio culmina aquí, quedando en q1 el cual es el
estado final por lo que esta cadena es valida.

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y


verificar lo validar por lo menos cinco cadenas válidas y 5
aprendido cadenas rechadas por el autómata. En este espacio
adjunta la imagen.

Lenguaje L= { 0n 1 n|n ≥ 1 }
regular

También podría gustarte