EJERCICIO A

TRABAJAR

CARACTERIZACIÓN En este espacio se realiza:

DEL AUTÓMATA A
PILA Mediante la definición formal explicar las características del autómata,
identificación de la séptupla.

AUTOMATA DE PILA: Es un modelo matemático de un sistema que

recibe una cadena constituida por símbolos de un alfabeto y
determina si esa cadena pertenece al lenguaje que el autómata
reconoce.
Identificación de la Séptupla:

∑: es el alfabeto de entrada ∑ = {0,1,λ}

r: es el alfabeto de pila r = {λ,a,X}
Q: es el conjunto de estados Q = {q0,q1,q2}
A0 ∈ r: es un símbolo especial de pila A0 = { λ }
qo ∈ Q: es el estado inicial del qo ∈ Q = {q0}
autómata
F C Q: es el conjunto de estados finales F C Q = {q2}
f: es una aplicación denominada σ = (q0, 0, λ), (q0,a)
función de transición de ternas σ = (q0, 1, a), (q1, λ)
σ = (q1, 1, a), (q1, λ)
σ = (q1, λ, Z), (q2, X)

Realizar un cuadro comparativo de la Equivalencia entre AP por

vaciado de pila y AP por estado final:
AP POR VACIADO DE PILA AP POR ESTADO FINAL
Es aceptada la cadena si cuando La cadena es aceptada cuando
llega al final el autómata está en está vacía la pila y no quedan
aceptación no teniendo en caracteres en la cadena de
cuenta si hay elementos aun en entrada sin tener en cuenta el
la pila. estado en el que este el
autómata.