Autómatas y Lenguajes Formales

Autómatas y lenguajes formales
Tarea 3 – Construcción de Autómatas de Pila
Alumno:
Sandra Milena Bustos Bacca Cod. 1085258353
Leibnytz Byron Benavides Betancourt Cod. 10.772.799
Christian Casaran Palacios Cod. 1143933656
José Luis García Cod. 1.061.787.200
Sergio Andres Acevedo Guerrero Cod. 1.116.158.441
Tutor:
Jaime José Valdés
Curso de Autómatas y lenguajes formales
Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería
Ingeniería de Sistemas
Octubre, 2021
Ejercicio 1 Autómata de Pila

Opción A Sandra Bustos
EJERCICIO PARA
TRABAJAR
CARACTERIZACION Características del autómata

DEL AUTOMATA DE
PILA De acuerdo con el autómata seleccionado, se distingue es
que es un autómata finito determinista, además cuenta con
una memoria auxiliar llamada Pila. Los símbolos pueden
ser insertados o extraídos de la pila de acuerdo con el
manejo LIFO. La lectura de la cinta de entrada se realiza
de izquierda a derecha.
Un AP inicia su funcionamiento con la siguiente

configuración inicial:
• Estado inicial (q0)

• Con solo un símbolo en la pila (A0)
• Con la cabeza lectora en el primer símbolo de la
entrada
Identificación de la séptupla del autómata:
AP = (𝚺, Γ, Q, A0, q0, f, F)

𝛴 = {a, b}
Γ = {a}
Q = {q0, q1}
A0 = {λ}
q0 = {q0}
F = {q1}
f = función de transiciones
δ: (q0, a, λ), (q0, a)
δ: (q0, b, a), (q1, λ)
δ: (q1, b, a), (q1, λ)
Plasme la tabla de transición

a b
→ q0 q0 q1
. q1 --- q1
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

* Se define N(M) el * Sea un AP M= {Σ, Γ, Q, A0,
lenguaje aceptado por M q0, f, F}, se define al lenguaje
por vaciado de pila (o L(M) aceptado por M por
pila nula) como estado final como:
Es decir, M vacía la pila Es decir, M acepta la entrada

después de examinar la w si entra en un estado de
cadena de entrada aceptacion p ϵ F despues de
completamente, sin haber examinado
importar en qué estado completamente a w
quede (i.e., p ϵ Q).
* Termina cuando se vacía la
* Empila y desempila un pila
elemento en el tope
* El número aceptado por
* Registra información estados finales es el mismo
en forma LIFO que el número de estados
vaciados
PROCEDIMIENTO DE
Cinta de
PASO A PASO DEL a a a … …
entrada
RECORRIDO DE UNA
CADENA
q0
…
q3 q1 …
a
a
q2 z0
Indicador
Pila
de estados
Cadena para funcionamiento de AP
a a a a b b b
Para la transición σ = (q0, a, λ), (q0, a)

Paso1: en el estado q0 lee a no desapila nada y en el
mismo estado q0 apila a.
Paso2: de acuerdo con la cadena propuesta, se queda en

la misma función de transición tres veces más, porque
estaría otra vez leyendo a en la cinta de entrada. Por lo
tanto, en el estado q0 lee nuevamente a no desapila nada
y en el mismo estado q0 apila a.
a a a a
Para la transición σ = (q0, b, a), (q1, λ)

Paso1: en el estado q0 al pasar a q1, lee b, desapila a, y
no apila nada.
a a a
Para la transición σ = (q1, b, a), (q1, λ)

Paso1: en el estado q1, lee b, desapila a, y no apila nada.
a a
Paso2: se queda en la misma función de transición porque

estaría otra vez leyendo b en la cinta de entrada. Por lo
tanto, en el estado q1, lee b, desapila a, y no apila nada.
Finaliza el recorrido de la cadena propuesta.

PRACTICAR Y
VERIFICAR LO
APRENDIDO
Cadenas aceptadas:
aaabbb
aaaabbb
ab
aabb
aaabb
Cadenas rechazadas:
aaabbbb
bbbbbba
bbbaaa
abb
bbbba
LENGUAJE REGULAR ER = a*bb*

LR = {a}*. {b}. {b}*
Ejercicio 2: Gramática del autómata

Opción A Sandra Bustos
El estudiante realiza paso a paso la gramática del autómata que seleccionó.
Identifique su gramática (de forma manual) por la derecha o izquierda y la
caracteriza. Debe incluir el diagrama de estados con los componentes de la
gramática asociados a las variables y a las constantes.
La gramática para desarrollar corresponde a gramática regular lineal derecha
GRAMATICA = {V, T, P, S} donde:

V = Conjunto de variables no terminales
T = Conjunto de variables terminales
P = Conjunto de producción
S = Símbolo de inicio
De acuerdo con el autómata seleccionado se identifica la siguiente gramática:

S: q0
T: q1
V: {q0, q1}
P: S → aS
S → bT
T → bT
T→λ
El conjunto de producción que se obtiene con la derivación por la derecha

es:
S → aS →abT →abbT
Árbol de derivación
q0 → aq0 | bq1
q1 → bq1 | λ
a S
b T
b T
Verificación de la gramática por JFLAP

EJERCICIOS PARA DESARROLLAR LITERAL B
Ejercicios 1: Autómata de pila

Literal B Sergio Andres Acevedo Guerrero
EJERCICI
O POR
TRABAJA
R
Caracteriz
ación del Mediante la definición formal explicar las características del autómata,
autómata identificación de la séptupla.
- Este es un autómata no determinista, ya que los autómatas de pila son una
extensión de esta.
- Es un autómata de aceptación, ya que las cadenas de entrada tienen que
situarse en el estado de aceptación.
AP= (Σ, Γ, Q, A0, q0, f, F) donde:

- ∑ = {0,1}
- Γ = {𝜆, a, X}
- Q = {q0, q1, q2}
- A0 ∈ Γ: 𝜆
- q0 ∈ Q = {q0} Estado inicial
- F ⊆ Q: q2 Estado final
- f = función de transición
Cuadro de transiciones
Transiciones
(q0, 0, 𝜆), (q0, a)
(q0, 1, a), (q1, 𝜆)
(q1, 1, a), (q1, 𝜆)
(q1, 𝜆, Z), (q1, X)
Cuadro comparativo

El autómata es aceptado cuando ya El autómata es aceptado cuando al
no quedan más elementos dentro de final de la lectura queda en el estado
la pila. de aceptación.
Procedimie Paso 1: cuando el autómata se encuentra en el estado q0, lee el símbolo de

nto de paso entrada (0) y tiene el símbolo a en la cima de la pila.
a paso del
recorrido 0 1 1 𝜆
de una
cadena Z
a
Paso 2: Al leer el carácter 1 de la cinta de lectura, extraigo el carácter a y

no inserto nada a la pila. Quedando el estado q1:
0 1 1 𝜆
a
𝜆
Paso 3: Al leer el carácter 1 de la cinta de lectura, extraigo el carácter a e

inserto el carácter vacío (𝜆) en la pila. Quedando el estado q1:
0 1 1 𝜆
𝜆
𝜆
Paso 4: Al leer el carácter vació (𝜆) de la cinta de lectura, extraigo el

carácter Z e inserto el carácter X en la pila. Quedando el estado q2:
0 1 1 𝜆
a
X
Practicar y
verificar lo
aprendido
Ejercicios 2: Gramática del autómata

Literal B Sergio Andres Acevedo Guerrero
El estudiante realiza paso a paso la gramática del autómata que seleccionó.

Identifique su gramática (de forma manual) por la derecha o izquierda y la caracteriza. Debe
incluir el diagrama de estados con los componentes de la gramática asociados a las variables
y a las constantes.
Solución: se observa que este ejercicio corresponde a regular lineal derecha

GRAMATICA = {V, T, P, S}
Las reglas de producción son:
S => 0S
S => 1A
A => 1A
A => 𝜆A
B => 𝜆
Entonces el conjunto de producciónes con la derivation por la derecha es el siguiente:

S 0S 01A 011A
GRAMATICA = {V, T, P, S}
Árbol derivación:
q0 → 0q0 | 1q1
q1 → 1q1 | λq2
q2 → λ
0 S
1 A
1 A
B
𝜆
EPSILON
Ejercicio 1 Autómata de Pila

Opción C Christian Casaran
EJERCICIO A
TRABAJAR
Caracterización En este espacio se realiza:

del autómata a - Mediante la definición formal explicar las
pila características del autómata, identificación de la
séptupla.
R: Los autómatas finitos de pila son una extensión de los
autómatas finitos deterministas, mantienen un conjunto de
estados y transiciones entre estados, considerando un
alfabeto de entrada, e incorporan una pila, que les permite
recordar que símbolos han procesado previamente, para
tomar decisiones a futuro
La séptupla está compuesta por los siguientes elementos:

AP(Σ, Γ, Q, A0, q0, f, F)
1. Σ corresponde al alfabeto de entrada
2. Γ es el alfabeto de la pila
3. Q corresponde al conjunto finito de estados
4. A0 ∊ Γ representa el punto de partida de la pila
5. q0 ∊ Q representa el punto del autómata
6. F ⊆ Q corresponde al subconjunto de estados finales
7. f es una aplicación denominada función de transición de
estados ternas compuesta por el estado, símbolo de
entrada o λ, y el símbolo de pila
Σ = {0,1}
Γ = {A,Z}
Q = {q0,q1}
A0 = {Z}
q0 = {q0}
F = {q1}
- Realizar la tabla de transición

f=
σ = (q0, 0, Z) (q0, A)
σ = (q0, 0, λ) (q0, A)
σ = (q0, 1, A) (q0, λ)
σ = (q1, 0, A) (q1, B)
σ = (q1, 1, A) (q1, λ)
- 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
Si existe un AP P que Si existe un AP P que

reconoce un lenguaje por reconoce un lenguaje por pila
estado final, entonces existe vacía, entonces existe otro
otro AP P' que reconoce el AP P' que reconoce el mismo
mismo lenguaje por pila lenguaje por estado final:
vacía: N(P) = L(P')
L(P) = N(P’)
En general, P ≠ P'
En general, L(P) ≠ N(P')
Procedimiento Paso 1. Partiendo del estado q0, se lee el caracter 0, se

de paso a paso desapila Z y se apila el caracter A y se continua en el mismo
del recorrido estado
de una cadena
Paso 2. Nuevamente desde el estado q0 se lee el carácter 0,

se apila el carácter AA y se desapila el carácter A.
Paso 3. Desde q0 se lee el carácter 1, se desapila A y no se

apila nada y se pasa al estado q1
Paso 4. Desde q1, se lee el carácter 0, se desapila A, se apila

el carácter B, y no se cambia de estado.
Paso 5. Desde q1, se lee el carácter 1, se desapila A y no se

apila ningún carácter.
Procedimiento
de paso a paso
del recorrido
de una cadena
Practicar y
verificar lo
aprendido
Ejercicios 2: Gramática del autómata
GRAMÁTICA = {V, T, P, S} donde:

Gramática identificada.
S: S
T: A
V: {S, A}
P: S → 0S
S → 1A
A → 0A
A → 1A
A→λ
José Luis García

Ejercicio D
Literal D José Luis García
EJERCICI
O POR
TRABAJA
R
Caracteriza
ción del AP= (Σ, Γ, Q, A0, q0, F, f):
autómata
- ∑ = {0,1}
- Γ = {A, AA, Z, 𝜆}
- Q = {q0, q1}
- A0 ∈ Γ: 𝜆
- q0 ∈ Q = {q0} Estado inicial
- F ⊆ Q: {q1} Estado final
- f = función de transición
Tabla de transición
Transiciones
(q0, 0, Z), (q0, A)
(q0, 0, A), (q1, AA)
(q0, 1, A), (q1, 𝜆)
(q1, 1, A), (q1, 𝜆)
Cuadro comparativo
AP por vaciado estado final AP por estado vacía

Se puede obtener mediante P con 0 Este se reconoce cuando sus pilas
pasos o con más, definiendo lo quedan vacías en su totalidad. Y el
símbolos de la pila, y el lenguaje que lenguaje que acepta es:
acepta P para estado final es:
Procedimien Paso 1: En la primera transición cuando estoy en q0 recibo como

to de paso a input 0, hago pop es decir saco Z y coloco A
paso del
recorrido de Paso 2: En la segunda transición cuando estoy en q0 recibo como

una cadena input 0 nuevamente, hago pop es decir saco A y coloco AA
Paso 3: En la tercera transición cuando estoy en q1 recibo como

input a 1, entonces hago pop es decir saco A y coloco 𝜆
Paso 4: En la última transición es prácticamente el mismo paso 3

estoy en q1 recibo como input a 1, entonces hago pop es decir saco A
y coloco 𝜆
Practicar y
verificar lo
aprendido
Ejercicio E Autómata de Pila

ESTUDIANTE LEIBNYTZ BYRON BENAVIDES BETANCOURT
LITERAL E
Ejercicio
Caracterización
del autómata Es una séptupla que se caracteriza por:
𝐴𝑃 = (Σ, Γ, Q, A0, q0, f, F)
Donde:
Σ:{0, 1, 2}
Γ:{B, Z}
Q:{Q0,Q1,Q2}
A0 ∈ Γ:{Q0}
q0 ∈ Q:{Q2}.
F ⊆ q:{𝑄2}
f: Funcion de transcicion
σ = (𝑞0,0, 𝑍), (𝑞0,𝐵𝑍)
σ = (𝑞0,0,𝐵), (𝑞0,𝐵𝐵)
σ = (𝑞0,1,𝐵), (𝑞1,𝐵)
σ = (𝑞1,2,𝐵), (𝑞2, λ)
σ = (𝑞2,2,𝐵), (𝑞2, λ)
✓ Los autómatas de pila son normalmente deterministas o con un indeterminismo

muy limitado.
✓ En términos generales el autómata recibe una cadena constituida por símbolos

de un alfabeto y determina si esa cadena pertenece al lenguaje que el autómata
reconoce.
✓ A diferencia de los autómatas finitos, los autómatas de pila cuentan con una
memoria auxiliar llamada pila. Los símbolos (llamados símbolos de pila)
pueden ser insertados o extraídos de la pila, de acuerdo con el manejo last-in-
first-out (LIFO).
✓ 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. El autómata
acepta una cadena x si la secuencia de transiciones, comenzando en estado
inicial y con pila vacía, conduce a un estado final, después de leer toda la
cadena x.

Se dice que un A.P. acepta una Se dice que un A.P. acepta una cadena
cadena por vaciado de pila si es por estado final si es posible que una
posible que una sucesión de sucesión de movimientos lleve al A.P. a
movimientos lleve al A.P. a una una configuración del tipo (q f, λ, Z) con
configuración del tipo (q, λ, λ), es qf ∈ F, es decir, si consigue llegar a un
decir, si consigue vaciar estado final cuando ha leído toda la
completamente la pila cuando ha cadena de entrada (independientemente
leído toda la cadena de entrada de lo que quede en la pila).
(independientemente del que estado
al que llegue sea o no final). Lenguaje aceptado:
Lenguaje aceptado:
Este concepto nos lleva a un modelo de

programa en el que la condición de
De la misma forma, se puede pensar parada viene dada por los estados
en estos autómatas como un finales aceptadores y por tener la cinta
programa, donde la condición de vacía.
parada es que tanto la pila como la
cinta estén vacías.
Si un AP A1 reconoce un lenguaje L Si un AP A1 reconoce un lenguaje L por

por vaciado de pila, existe otro AP A2 estado final, existe otro AP A2 que
que reconoce L por estado final. reconoce L por vaciado de pila.
Lo único que hay que hacer es
construir un A2 que coloque su propio Ahora un segundo autómata que imita el
símbolo inicial de la pila en su pila, y comportamiento del primero, cuando
encima a la inicial de A1. A partir de detecta que éste ha llegado a un estado
entonces, imita exactamente el final, pasa a un estado “de vaciado”, en
comportamiento de A1. Cuando éste el que se dedica únicamente a desapilar
haya vaciado su pila (lo que se lo que quede en la pila.
detecta porque A2 encuentra su
símbolo inicial de pila en ella), A2 El conjunto de lenguajes aceptables por
pasa a su estado final. vaciado de pila por el conjunto de los
El conjunto de lenguajes aceptables autómatas a pila, coincide con el
por vaciado de pila por el conjunto de conjunto de los lenguajes aceptables por
los autómatas a pila, coincide con el estado final por dicho.
conjunto de los lenguajes aceptables
por estado final por dicho.
Procedimiento
de paso a paso Cadena:00122
del recorrido
de una cadena - Paso 1: cuando el autómata se encuentra en el estado q0, lee el símbolo de
entrada 0 y tiene el símbolo Z en la cima de la pila, luego desapila z y apila BZ.
σ = (𝑞0,0, 𝑍), (𝑞0,𝐵𝑍)
- Paso 2: El automata nuevamente en q0 lee el símbolo de entrada 0 y tiene la

palabra bz en la cima de la pila, luego desapila b y apila bb.
σ = (𝑞0,0,𝐵), (𝑞0,𝐵𝐵)
- Paso 3: el automata nuevamente en q0 lee el símbolo de entrada 1 y tienen la

palabra bb en la cima de la pila, luego desapila b y apila b; realizando la transición
al estado q1.
σ = (𝑞0,1,𝐵), (𝑞1,𝐵)
- Paso 4: el autómata ahora en estado q1 lee el símbolo de entrada 2 y tiene la

palabra b en la cima de la pila, luego desapila b y apila en vacío; realizando la
transición al estado q2. σ = (𝑞1,2,𝐵), (𝑞2, λ)
- Paso 5: el autómata ahora en estado q2 lee el símbolo de entrada 2 y tiene la

palabra b en la cima de la pila, luego desapila b y apila en vacío; quedando
nuevamente en el estado q2. σ = (𝑞2,2,𝐵), (𝑞2, λ)
Practicar y Nota: no fue posible encontrar una cadena que el autómata acepte ya que como
verificar lo se mostró en el paso anterior no se dispone de un mecanismo para vaciar z de la
aprendido pila.
Lenguaje regular 𝜀 = {0,1,2}

Ejercicio Grupal: Minimización de autómatas
EJERCICIO
POR
TRABAJAR
Procedimiento 1. Lo primero que se debe realizar es la creación de dos conjuntos,

de uno donde estén los estados de aceptación, y el otro con los
minimización estados restantes.
Conjunto de estados de aceptación
X = {q5}
Conjunto sin estados de aceptación
Y = {q0, q1, q2, q3, q4, q6}
2 A partir de los conjuntos que se identificaron anteriormente

entonces se debe crear sus respectivas tablas de transiciones
X 0 1
q5 Y Y
Y 0 1
q0 Y Y
q1 Y Y
q2 Y Y
q3 Y X
q4 Y X
q6 Y Y
3 El siguiente paso es revisar cuales estados poseen similitudes

entre sí y a partir de ellos se deben formar unos nuevos conjuntos
de la siguiente manera:
A = {q0,q1,q2, q5, q6} B = {q3,q4}
4 Nuevamente se deben hacer las respectivas tablas de

transiciones, pero esta vez a partir de los nuevos conjuntos que
se han generado.
A 0 1
q0 A B
q1 B A
q2 A B
q5 A B
q6 B A
B 0 1
q3 A A
q4 A A
5 Como se puede evidenciar todos los estados del conjunto B son

equivalentes ya que comparten las mismas transiciones, sin
embargo, el conjunto A no es equivalente en sus dos estados, es
por ello que debe surgir un nuevo conjunto para poder separar
esos dos estados, de tal forma que nos quedaría algo así:
A = {q0, q2,q5} B = {q3,q4}
C = {q1,q6}
6 De acuerdo a los cambios sufridos en los conjuntos se debe

realizar de nuevo las tablas de transiciones.
A 0 1
q0 A B
q2 A B
q5 A B
B 0 1
q3 C A
q4 C A
C 0 1
q1 B A
q6 B A
7. En vista de que ya no surgen nuevos conjuntos entonces se

debe realizar la tabla de transición final entre los conjuntos
obtenidos previamente
0 1
A A B
B C A
C B A
Resultado del
Autómata
minimizado
Notación
formal del 𝛿(𝐴, 0) = {𝐴}
autómata 𝛿(𝐴, 1) = {𝐵}
minimizado 𝛿(𝐵, 0) = {𝐶}
𝛿(𝐵, 1) = {𝐴}
𝛿(𝐶, 0) = {𝐵}
𝛿(𝐶, 1) = {𝐴}
Realice la tabla de transición
0 1
A A B
B C A
C B A
Caracterizació
n del autómata M = ({q0, q1, q2, q3, q4, q5, q6}, {0,1}, δ, q0, {q5})
→ Séptupla
K = {q0, q1, q2, q3, q4, q5, q6} → conjunto finito de estados, Es un
modelo computacional que realiza cómputos en forma automática sobre
una entrada para producir una salida y tiene un numero contado de
estados.
∑ = {0,1} → Alfabeto, Es un conjunto finito de símbolos que formarán

palabras o cadenas y su función dentro del autómata es En este espacio
agrega la notación formal del autómata.
Identifique la séptupla del autómata minimizado.
5-tupla (K, Σ, δ, s, F) donde:
M= ({q0, q1, q2, q3, q4, q5, q6}, {0,1}, δ, q0, {q5})
K= {q0, q1, q2, q3, q4, q5, q6}
Σ= {0, 1}
s= q0
F= q5
δ= Relación de transiciones
Cuadro comparativo
Posee estados, transiciones y Igualmente que el vaciado de
alfabeto, en este método el pila este posee estados,
autómata intenta vaciar la pila transiciones y alfabeto, pero la
luego de examinarla única forma de que este
completamente ignorando en qué autómata sea aceptado es que
estado va a finalizar pero aun asi luego de ser analizado se
depende de la información de la encuentre en un estado de
pila. aceptación, aunque esa cadena
no dependa de la información de
la pila.
Lenguaje
regular ER= 00+1(00) *010+(01+1(00) *011)0(00) *1
Autómata minimizado
ER=
Gramática del
autómata
Validación de Validación de cadenas del autómata original

cadenas
Validación del autómata minimizado
Cadenas aceptadas:
λ, 011, 001111, 0011, 101
Cadenas rechazadas:
111, 10110, 1110011, 0001110, 10101011
Practicar y
verificar lo
aprendido
Verificación del automata minimizado
✓ (λ) El automata procesa la cadena vacía, puesto que su estado

inicial también es el estado final.
✓ (011) El carácter 0 es admitido por el estado inicial, y el resto de la

cadena se admite entre la transición de A - B.
✓ (0011) Los caracteres 00 se leen en el estado inicial, luego se
presenta una transición hacia el estado B y de regreso al estado
A.
✓ (101) Esta cadena se lee con las transacciones A-B, B-C, y de
C-A.
✓ (111) Esta cadena es rechazada, ya que finaliza en el estado
B, su transición es A-B, B-A, A-B
✓ (10110) Esta cadena es rechazada, puesto que finaliza en el
estado C, el cual no es un estado final, su transición es A-B, B-
C, C-A, A-B, B-C
✓ (1110011) Esta cadena no es aceptada por él automata, ya que
finaliza en el estado B, el cual no es un estado final, su
transición es A-B, B-A, A-B, B-C, C-B, B-A, A-B
✓ (0001110) Esta cadena no es aceptada por él automata, ya que
el último carácter finaliza en el estado C, el cual no es un estado
final, su transición es A, A, A, A-B, B-A, A-B, B-C
✓ (10101011) Esta cadena no es aceptada por él automata, ya
que finaliza en el estado B, el cual no es un estado final, su
transición es la siguiente A-B, B-C, C-A, A, A-B, B-C, C-A, A-B
Bibliografía
Amarillo. A. (s.f). minimización de autómatas. Recuperado de Minimizacion de

automata - YouTube
Autómata con pila a gramática libre de contexto. (2020). Transformar AP a GLC.
Recuperado de Autómata con Pila a Gramática Libre de Contexto -
YouTube
Luque. F. (s.f.). gramáticas regulares. Recuperado de Gramaticas Regulares -
YouTube
Puerta. J., Caballero. A. (2011). Lenguajes libres de contexto. Recuperado de
Lenguajes Libres de Contexto: Arboles de derivaciòn
(teodelacomp.blogspot.com)
GHD. (s.f.). gramáticas. Recuperado de Pagina nueva 1 (utn.edu.ar)
Autómatas con pila (AP). (s.f.). Facultad de informática – facultad complutense de
Madrid. Recuperado de:
http://antares.sip.ucm.es:8180/webtalf/index.jsp?submenu=temas/submenuI
ncontextuales&contenido=temas/ap#:~:text=Los%20aut%C3%B3matas%20
finitos%20reconocen%20lenguajes,a%20ella%20en%20cualquier%20orden
G, R. (2005). Autómata de pila. Recuperado de

https://es.slideshare.net/rodrigogc2/autmata-de-pila-ap
Teoría de autónomas y lenguajes formales. (s.f.). Google sites. Google sites.

Recuperado de https://sites.google.com/site/wikiudocsctalf/home/vision-de-
las-expresiones-regulares-y-lenguajes-regulares/expresiones-regulares
De la fuente, L. R. (1999). Aconute. Recuperado de

http://www.aconute.es/computacion/automatasFinitos/ta_cap1_6.html
Gómez, S.M. (2011). Descartes 2d. España. Recuperado de

http://recursostic.educacion.es/descartes/web/materiales_didacticos/conjunt
os_y_operaciones_agsm/conjuntos_12.html
Lenguajes y autómatas 1. Recuperado dee

http://lengyaut.blogspot.com/2017/08/definicion-alfabetos-cadena-
lenguaje.html
Mirerus, O. (2013). Slideshare. Recuperado de

https://es.slideshare.net/OsirisTheKroos/alfabetos-26058575
Padilla, P.G. (2005). Gobierno de México. México. Recuperado

http://delta.cs.cinvestav.mx/~mcintosh/comun/summer2006/algebraPablo_ht
ml/node4.html
Lenguaje regular. (s.f.). Ecured. Recuperado de https://www.ecured.cu/Lenguaje_regular
Expresión regular. (s.f.). Ecured. Recuperado https://www.ecured.cu/Expresi%C3%B3n_regular

Autómatas y Lenguajes Formales

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Autómatas y Lenguajes Formales

Cargado por

Copyright:

Formatos disponibles

Autómatas y lenguajes formales

Tarea 3 – Construcción de Autómatas de Pila

Curso de Autómatas y lenguajes formales

Universidad Nacional Abierta y a Distancia – UNAD

Ejercicio 1 Autómata de Pila

CARACTERIZACION Características del autómata

Un AP inicia su funcionamiento con la siguiente

• Estado inicial (q0)

Identificación de la séptupla del autómata:

AP = (𝚺, Γ, Q, A0, q0, f, F)

Plasme la tabla de transición

Cuadro comparativo de la equivalencia entre AP por

AP por vaciado de pila AP por estado final

Es decir, M vacía la pila Es decir, M acepta la entrada

Cadena para funcionamiento de AP

Para la transición σ = (q0, a, λ), (q0, a)

Paso2: de acuerdo con la cadena propuesta, se queda en

Para la transición σ = (q0, b, a), (q1, λ)

Para la transición σ = (q1, b, a), (q1, λ)

Paso2: se queda en la misma función de transición porque

Finaliza el recorrido de la cadena propuesta.

LENGUAJE REGULAR ER = a*bb*

Ejercicio 2: Gramática del autómata

La gramática para desarrollar corresponde a gramática regular lineal derecha

GRAMATICA = {V, T, P, S} donde:

De acuerdo con el autómata seleccionado se identifica la siguiente gramática:

El conjunto de producción que se obtiene con la derivación por la derecha

Verificación de la gramática por JFLAP

EJERCICIOS PARA DESARROLLAR LITERAL B

Ejercicios 1: Autómata de pila

AP= (Σ, Γ, Q, A0, q0, f, F) donde:

Identificación de la séptupla del autómata:

AP por vaciado de pila AP por estado final

Procedimie Paso 1: cuando el autómata se encuentra en el estado q0, lee el símbolo de

Paso 2: Al leer el carácter 1 de la cinta de lectura, extraigo el carácter a y

Paso 3: Al leer el carácter 1 de la cinta de lectura, extraigo el carácter a e

Paso 4: Al leer el carácter vació (𝜆) de la cinta de lectura, extraigo el

Ejercicios 2: Gramática del autómata

El estudiante realiza paso a paso la gramática del autómata que seleccionó.

Solución: se observa que este ejercicio corresponde a regular lineal derecha

Las reglas de producción son:

Entonces el conjunto de producciónes con la derivation por la derecha es el siguiente:

Ejercicio 1 Autómata de Pila

Caracterización En este espacio se realiza:

La séptupla está compuesta por los siguientes elementos:

- Realizar la tabla de transición

- Realizar un cuadro comparativo de la

AP por vaciado de pila AP

Si existe un AP P que Si existe un AP P que

Procedimiento Paso 1. Partiendo del estado q0, se lee el caracter 0, se

Paso 2. Nuevamente desde el estado q0 se lee el carácter 0,

Paso 3. Desde q0 se lee el carácter 1, se desapila A y no se

Paso 4. Desde q1, se lee el carácter 0, se desapila A, se apila

Paso 5. Desde q1, se lee el carácter 1, se desapila A y no se

Ejercicios 2: Gramática del autómata

GRAMÁTICA = {V, T, P, S} donde:

José Luis García

AP por vaciado estado final AP por estado vacía

Procedimien Paso 1: En la primera transición cuando estoy en q0 recibo como

recorrido de Paso 2: En la segunda transición cuando estoy en q0 recibo como

Paso 3: En la tercera transición cuando estoy en q1 recibo como

Paso 4: En la última transición es prácticamente el mismo paso 3

LENGUAJE REGULAR ER = abb