6

AUTOMATAS Y LENGUAJES FORMALES
301405A_761
Unidad 2 - Fase 3 - Modelar problemas de Lenguajes Independientes del Contexto.
PRESENTADO A
ROLANDO FABIAN JUNCO
TUTOR
ENTREGADO POR:
DIEGO MAURICIO GARNICA WILCHES -1022357731
IVÁN PARRA GONZÁLEZ – 1030557533
LUISA FERNANDA BARRERA-1018480390
JHONATTAN GUILLERMO RODRIGUEZ ROJAS - 1032388840
GRUPO: 301405_6
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
08/04/2020
BOGOTÁ
Introducción
En el siguiente trabajo se mostrarán los fundamentos matemáticos de los modelos cinemáticos

que se utilizan en la configuración y modelamiento de los robots industriales utilizando los
concetos aprendidos durante esta tercera fase y que permitirán tomar una decisión para elección
del modelo que se utilizará para dar solución a la problemática planteada.
EJERCICIOS DE LA FASE 2
ACTIVIDAD INDIVIDUAL
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

ESTUDIANTE: DIEGO MAURICIO GARNICA WILCHES
Ejercicio 1
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:
EJERCICIO A Ejercicio 1 / DIEGO MAURICIO GARNICA WILCHES

TRABAJAR
Caracterizació En este espacio se realiza:

n del - Mediante la definición formal explicar las características
autómata a del autómata
pila
AP= (Σ, Γ, Q, A0, q0, f, F)
Tenemos un autómata finito no determinista (AFND) cuya 7-Tupla

es:
Σ = {0, 1}. Alfabeto

Γ = {Z, A}. Alfabeto de pila
Q= {q0, q1}. Estados
Ao ϵ r = ʎ Símbolo Inicial
qo ϵ Q = qo Estado inicial
F⊑Q= {q0, q1} Estado de aceptación
f Función Transición
ơ = (q0,0,Z), (q0,A)
ơ = (q0,0,A), (q0,AA)
ơ = (q0,1,A), (q1, ʎ)
ơ = (q1,1,A), (q1, ʎ)
- Realizar un cuadro comparativo de la Equivalencia entre

AP por vaciado de pila y AP por estado final
AP Estado final AP Vaciado de pila

• La trama es aceptada • Se llega a un estado de
únicamente cuando llegue a aceptación cuando pase toda la
dicho estado. trama por el autómata y su pila
• No importa los datos en la pila está vacía
• Gráficamente no cuenta con • Gráficamente los estados están
un estado entre dos con una sola circunferencia
circunferencias. • No tiene estado final como
otro tipo de autómatas
Lenguaje usual: Lenguaje usual:
f(s,λ,B)={(q0,A0B)} f´ (s,λ,B)={(q0,A0B)}
f(q,a,A)=f(q,a,A) para todo f´ (q,a,A)=f(q,a,A) para
q∈Q, q∉F, a∈Σ∪{λ} y A∈Γ todo q∈Q, q∉F, a∈Σ∪{λ} y
f(q,a,A)=f(q,a,A) para todo A∈Γ
q∈F, a∈Σ y A∈Γ f´ (q,a,A)=f(q,a,A) para
f(q,λ,A)=f(q,λ,A) ∪{(r, λ)} todo q∈F, a∈Σ y A∈Γ
para todo q∈F y A∈Γ f´ (q,λ,A)=f(q,λ,A) ∪{(r, λ)}
f’(q,λ,B)= {(r, λ)} para todo para todo q∈F y A∈Γ
q∈F f’(q,λ,B)= {(r, λ)} para todo
f(r,λ,A)= {(r, λ)} para todo q∈F
A∈Γ∪{B} f´ (r,λ,A)= {(r, λ)} para
todo A∈Γ∪{B}
Se puede apreciar que APV es igual que APF´ y se verifica
Procedimiento Realice de manera detallada y grafica el procedimiento paso a

de paso a paso del recorrido de una cadena (La cadena la selecciona el
paso del estudiante, debe contener como mínimo 8 caracteres) en el
recorrido de autómata a pila. Describir cómo funciona el almacenamiento en la
una cadena pila, como funciona LIFO, etc.
De acuerdo a lo planteado, se proyecta la siguiente trama:

“00001111”
- Paso 1: Cuando el autómata de encuentra en el estado inicial

q0, Lee el símbolo “0”, y tiene como símbolo “Z” en la cima de la
pila.
- Paso 2: El autómata permanece en el estado inicial q0, Lee el
símbolo “0”, teniendo el símbolo Z0 en la cima de la pila se escribe
en la pila extrae un símbolo “Z” de la pila e inserta un símbolo “A”
a la pila

símbolo “0”, extrae un símbolo “A” de la pila e inserta un símbolo
“A” a la pila.

símbolo “0”, extrae un símbolo “Z” de la pila e inserta un símbolo
“A” a la pila.
símbolo “0”, extrae un símbolo “A” de la pila e inserta un símbolo
“A” al tope de la pila.
- Paso 6: El autómata permanece en el estado q1, Lee el símbolo

“1”, extrae un símbolo “A” al tope de la pila.
- Paso 7: El autómata extrae un símbolo “A” de la pila y NO se
escribe nada por el símbolo “λ”, adicional se cambia al estado q1,
resta retirar tres elementos de la pila para un estado de
aceptación.

“1”, extrae un símbolo “A” de la pila y NO se escribe nada por el
símbolo “λ”. resta retirar dos elementos de la pila para un estado
de aceptación.
“1”, extrae un símbolo “A” de la pila y NO se escribe nada por el
símbolo “λ”. Resta retirar un elementos de la pila para un estado
de aceptación.
Finalmente Lee el símbolo “1”, extrae un símbolo “A” de la pila y
NO se escribe nada por el símbolo “λ”, con estado de aceptación
y con la pila vacía la trama se acepta.
Para una transición:

F(Z,A)= {((q0,0,Z), (q0,A), (q0,0,A), (q0,AA), (q0,1,A), (q1,
ʎ), (q1,1,A), (q1, ʎ)}
Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar por lo

verificar lo menos cinco cadenas válidas y 5 cadenas rechadas por el
aprendido autómata. En este espacio adjunta la imagen.
Lenguaje F(Z,A)= {((q0,0,Z), (q0,A), (q0,0,A), (q0,AA), (q0,1,A), (q1, ʎ),
regular (q1,1,A), (q1, ʎ)}
Preguntas de Verificación
1. En la minimización del autómata en la primera validación, como estados

equivalentes quedan:
A. q0, q4, q6
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
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:
A. B,A
B. Z,N
C. Z,A
D. A,B
Actividad Individual

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

ESTUDIANTE: IVÁN PARRA GONZÁLEZ
Ejercicio 4
EJERCICIO A
TRABAJAR
Caracterización Tenemos el autómata de pila como:

del autómata a
pila 𝑃 = (Σ, Γ, Q, Z0 , 𝑞0 , f)
Notemos primero que el autómata no cuenta con estado final o de

aceptación, es decir que la trama se aceptará únicamente por pila
vacía, los otros términos son:
∑: Alfabeto de entrada:
Σ = {0,1}
Γ: Un alfabeto de pila finito
Γ = {𝐶, 𝐵}
𝑍0 : Símbolo inicial de la pila
𝑞0 : Estado inicial de la pila
𝑄: Conjunto finito de estados
𝑄0 = {𝑞0 , 𝑞1 }
𝑓: función de transición de ternas
𝛿: la funcion de transicion está dada por:
𝛿 0, 𝑍 0, 𝐵 0, 𝐶 1, 𝐶
𝑞0 𝑞0 , 𝐵 𝑞0 , C 𝑞0 , 𝐵𝐶 𝑞1 , λ
𝑞1 𝑞1 , 𝜆
• Cuadro comparativo:
AP Estado final AP Vaciado de pila
• La trama es aceptada • Se llega a un estado de
únicamente cuando aceptación cuando pase
llegue a dicho estado toda la trama por el
• No importa los datos en autómata y su pila este
la pila vacía
• Gráficamente no cuenta • Gráficamente los estados
con un estado entre dos están con una sola
circunferencias circunferencia
• No tiene estado final
como otro tipo de
autómatas
Lenguaje usual: Lenguaje usual:
𝐿𝐹 (𝐴𝑃) = {𝑥|(𝑞0 , 𝑥, 𝑍0 ) 𝐿𝑉 (𝐴𝑃) = {𝑥|(𝑞0 , 𝑥, 𝑍0 )

⊢∗ (𝑝, 𝜆, 𝑋), 𝑐𝑜𝑛 𝑃 ⊢∗ (𝑝, 𝜆, 𝜆), 𝑐𝑜𝑛 𝑃
∈ 𝐹, 𝑋 ∈ Γ ∗ } ∈ 𝑄}
Procedimiento Para el autómata del ejercicio 3 vemos que es un autómata de tipo
de paso a paso determinista con una pila de tipo L.I.F.O. (last in first out), son varios
del recorrido caracteres a escribir en memoria y sin estado de aceptación
de una cadena (únicamente por vaciado de pila).
Por eso procedemos a plantear la siguiente trama.
Trama: ’000000111’
Paso 1:
Al inicio la pila está vacía y sin recibir el primer valor

Transición
𝜹(𝒒𝟎 , 𝟎, 𝑪) = (𝒒𝟎 , 𝑩𝑪)
Descripción transición: cuando el autómata se encuentra en el

estado 𝑞0 , lee el símbolo de entrada “0”, teniendo el símbolo 𝑍0 en la
cima de la pila se escribe en la pila una B y una C volviendo al
estado 𝑞0 , por último, toma de la pila una C.
Dejando una B en la pila
Paso 2:
Transición
𝜹(𝒒𝟎 , 𝟎, 𝑩) = (𝒒𝟎 , 𝑪)
Trama: ’ 000000111’
Descripción transición: Con el autómata en 𝑞0 , lee la entrada “0”,

teniendo B en la cima de la pila se retira la B y se escribe en la pila
una C, retorna nuevamente al estado 𝑞0 .
Paso 3:
Transición
𝜹(𝒒𝟎 , 𝟎, 𝑪) = (𝒒𝟎 , 𝑩𝑪)
Trama: ’000000111’
Descripción transición: Estando en el estado 𝑞0 , lee el símbolo de

entrada “0”, teniendo C en la cima de la pila, se agrega B y C, por
último, se retira una C y retorna al estado 𝑞0 .
Paso 4:
Transición
𝜹(𝒒𝟎 , 𝟎, 𝑩) = (𝒒𝟎 , 𝑪)
Trama: ’000000111’
Descripción transición: Con el autómata en el estado 𝑞0 , lee el

símbolo de entrada “0”, teniendo B en la cima de la pila se retira
dicha B y se escribe en la pila un C, quedando en el estado 𝑞0 .
Paso 5:
Transición
𝜹(𝒒𝟎 , 𝟎, 𝑪) = (𝒒𝟎 , 𝑩𝑪)
Trama: ’000000111’
Descripción transición: El autómata en el estado 𝑞0 , lee el símbolo

de entrada “0”, con una C en la cima se escribe BC y se retira dicha
C de la pila.
Paso 6:
Transición
𝜹(𝒒𝟎 , 𝟎, 𝑩) = (𝒒𝟎 , 𝑪)
Trama: ’000000111’
Descripción transición: Aquí toma la B de la pila y escribe una C,

saltando al mismo estado 𝑞0 y con 3 elementos en la pila para un
estado de aceptación
Paso 7:
Transición
𝜹(𝒒𝟎 , 𝟏, 𝑪) = (𝒒𝟏 , 𝝀)
Trama: ’000000111’
Descripción transición: Aquí toma la C de la pila y NO se escribe

nada por el símbolo 𝜆, adicional se cambia al estado 𝑞1 , resta retirar
dos elementos de la pila para un estado de aceptación.
Paso 8:
Transición
𝜹(𝒒𝟏 , 𝟏, 𝑪) = (𝒒𝟏 , 𝝀)
Trama: ’00000011’

nada por el símbolo 𝜆, continuando en el estado 𝑞1 , resta retirar un
elemento de la pila para un estado de aceptación.
Paso 9:
Transición
𝜹(𝒒𝟏 , 𝟎, 𝑪) = (𝒒𝟏 , 𝝀)
Trama: ’000000111’

nada por el símbolo 𝜆, continuando en el estado 𝑞1 , sin estado de
aceptación y con la pila vacía la trama se acepta
Practicar y
verificar lo
aprendido
SALIDAS:
Preguntas de PREGUNTAS DE VERIFICACIÓN PENDIENTE
verificación
(WEB CONFERENCE)
de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5
Estudiante: Luisa Fernanda Barrera S.

1. Ejercicio 5

EJERCICIO A
TRABAJAR
Caracterización En este espacio se realiza:

del autómata a - Mediante la definición formal explicar las características del
pila autómata
Un autómata a pila es un dispositivo que tiene acceso a:

•Una secuencia de símbolos de entrada, que en general se
representa por una cinta que se desplaza frente a un
mecanismo de captación de dichos símbolos.
•El símbolo superior de una memoria en pila (LIFO)Un autómata
a pila se encuentra en cada momento en un estado determinado
y el estado siguiente depende de los tres elementos siguientes:
•estado actual
•símbolo de entrada
Un AP comienza su funcionamiento en la configuración inicial:

•en el estado inicial (q0)
•con sólo un símbolo en la pila (A0)
•con la cabeza lectora en el primer símbolo de la entrada A
partir de esta configuración realiza transiciones según la
definición de la función f
1.Σ ={0,1,2}. Σes el alfabeto de entrada

2.Γ B,Z Γ es el alfabeto de la pila
3.Q ={q0,q1,q2}. Q conjunto finito de estados
4.A0∈Γ ={z} A0∈Γ símbolo inicial de la pila
5.q0∈Q= {q0}. Estado inicial del autómata
6.F ⊆Q={ q2}. subconjunto de estados finales
7.f es una aplicación denominada función de transición

de ternas (estado, símbolo de entrada o λ, símbolo de
pila) en el conjunto de las partes Q×Γ
Realizar un cuadro comparativo de la Equivalencia entre AP por
vaciado de pila y AP por estado final
Equivalencia de un AP por Equivalencia de un AP

vaciado de pila por estado final
Procedimiento Realice de manera detallada y grafica el procedimiento paso a

de paso a paso paso del recorrido de una cadena (La cadena la selecciona el
del recorrido estudiante, debe contener como mínimo 8 caracteres) en el
de una cadena autómata a pila. Describir cómo funciona el almacenamiento
en la pila, como funciona LIFO, etc.
- Paso 1…
De acuerdo al siguiente trama
Estrella kleene
000012222
El símbolo Z se encuentra en la cima de la pila en el estado
inicial q0
- Paso 2…
Cuando el autómata de encuentra en el estado inicial q0, este
lee el símbolo de entrada 0 y tiene como símbolo una “B” en la
cima de la pila
- Paso 3…
El autómata se encuentra en el estado q0, este elimina el

símbolo “B” que se encontraba en la cima de la pila y se
introduce BB
El autómata continua con el estado q0 , donde lee el símbolo
de entrada “0” como se ve en la imagen y tiene una letra “B”
en la cima de la pila
Paso 5
El autómata pasa al estado q0, lee el símbolo “0” y tiene la
letra”B” en la cima de su pila.
Paso 6
El autómata pasa al estado q1 y lee el símbolo de entrada “1”
y tiene una B en la cima de su pila
Paso 7:
El autómata pasa al estado q1 y lee el símbolo de entrada “2”,
donde no apila nada y deasapila B
El autómata en el estado q2 lee el 2 como símbolo de entrada

y tiene “B” en la cima de la pila
El autómata en el estado q2 lee el 2 como símbolo de entrada
y tiene “B” en la cima de la pila
El autómata que está en el estado q2 lee el 2 como símbolo de

entrada, la “B” es desapilada y no se apila nada, por lo que la
“Z” es lo ultimo que queda en la pila como estado final
Practicar y
verificar lo
aprendido
Lenguaje Agregar el lenguaje regular del autómata

regular 𝐿 = {02𝑛 1𝑛 2𝑛 |𝑛 > 1}
Preguntas de verificación
1. En la minimización del autómata en la primera validación, como

estados equivalentes quedan:
A. q0, q4, q6
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
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
B. Z,N
C. Z,A
D. A,B
de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5
Estudiante: Rolando Fabian Junco.

2. Ejercicio 5

EJERCICIO A
TRABAJAR
Caracterización Mediante la definición formal explicar las características

del autómata a del autómata:
pila
Un autómata a pila se define mediante una séptupla:
AP= (Σ, Γ, Q, A0, q0, f, F):
Por lo cual:
Σ: Es el alfabeto de
entrada
Γ: es el alfabeto de la
pila
Q: es un conjunto finito de estados
A0 ∈ Γ: es un símbolo inicial de la
pila
q0 ∈ Q: el estado inicial del
autómata
F ⊆ Q: es el conjunto de estados finales.
f: es una aplicación denominada función de transición de
ternas (estado, símbolo de entrada o λ, símbolo de pila) en
el conjunto de las partes Q × Γ*
AP= (Σ, Γ, Q, A0, q0, f, F)
Por lo cual :
Σ: {0, 1, 2}
Γ: {B, Z, λ}
Q: {q0, q1, q2}
A0 ∈ Γ: {B, Z}
q0 ∈ Q: {q0}
F ⊆ Q: {q2}
f: Función que permite una transición.
𝛿 = (q0, 0, Z), (q0, BZ)

𝛿 = (q0, 0, B), (q0, BB)
𝛿 = (q0, 1, B), (q1, B)
𝛿 = (q1, 2, B), (q2, λ)
𝛿 = (q2, 2, B), (q2, λ)
Equivalencia de un AP por vaciado de pila
Sin importar su estado , la pila debe estar vacia al culminar la

lectura de la cinta.
Equivalencia de un AP por estado final

Procedimiento Realice de manera detallada y grafica el
de paso a paso procedimiento paso a paso del recorrido de una
del recorrido cadena (La cadena la selecciona el estudiante, debe
de una cadena contener como mínimo 8 caracteres) en el
autómata a pila. Describir cómo funciona el
almacenamiento en la pila, como funciona LIFO,
etc.
Paso 1:
Para la siguente cadena 000012222, se enviaran para

corroborar el funcionamieno del automata.
Para el mecanismo de control dare uso de (L, D, A, q, t)
p= Estado inicial
q= Estado al que llega
L = Símbolo de la cadena de entrada
D= Símbolo que des apila
A= Símbolo que apila
Sin haber realizado ningun movimeinto, el automata inicia

en Z en el fondo de la pila.
Paso 1A
Seinicia en el estado q0, la cintaes leida en el primer 0

liberandola Z y apilando BZ:
Paso 2
Aun en el estado q0, se lee la cinta en el segundo 0,

liberando B y apilando a BB, al tratarse de una estrella de
Kleene, se continua con la misma transicion.
Paso 3
Aun en el estado q0, se lee la cinta en el tercer 0,
Kleene, se continua con la misma transicion:
Paso 4
Aun en el estado q0, se lee la cinta en el cuarto 0,

Kleene, se continua con la misma transicion:
Paso 5
Se cambia de q0 a q1, en la cinta se lee el 1, liberando la

B y se apila B:
Paso 6
El automata realiza un cambio de q1 aq2 lee en la cinta el
2, libera a B y No apila nada en λ :
Paso 7
Se continua en el estado q2, se lee en la cinta el siguiente

2, se libra a B , no apila nada en λ, al tratarse de una
estrella de Kleene, se continua con la misma transicion:
Paso 8
Se continua en el q2, se lee e la cinta el siguiente 2, se
libera a B y no apila nada en λ, al tratarse de una estrella
de Kleene, se continua con la misma transicion:
Paso 9
Se continua en el estado q2, se lee en cinta el siguiente 2,

se libera a B y no apila nada en λ, al tratarse de una
estrella de Kleene, se continua con la misma transición:
Practicar y
verificar lo
aprendido
Actividades Colaborativas:
El trabajo se desarrolla demostrando el procedimiento realizado paso a paso, no se

tendrá en cuenta las respuestas o simulaciones en JFlap o VAS.
Actividad 2:
Teniendo en cuenta el siguiente autómata realice:
EJERCICIO A
TRABAJAR
Procedimiento de 1. Identificación de los elementos que componen el

minimización autómata
• 5-tupla (K, Σ, Ơ, S, F)
• Alfabeto
Σ = {0,1,2}
• Estados
Q = {𝑞𝑜 , 𝑞1 , 𝑞2, 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 }
• Estado inicial
𝑞1
• Estados finales
𝐹 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3, 𝑞4 , 𝑞5 , 𝑞6 }
• Función de transición
𝜹: 𝑸 × ∑
2. tabla de transición.
Tabla de Transición
𝜹 𝟎 𝟏 2
𝒒𝟎 𝑞5 𝑞2 −
𝒒𝟏 − 𝑞2 𝑞0
𝒒𝟐 𝑞5 𝑞2 𝑞4
𝒒𝟑 𝑞6 𝑞2 −
𝒒𝟒 𝑞5 𝑞2 𝑞6
𝒒𝟓 𝑞6 𝑞2 𝑞4
𝒒𝟔 𝑞6 − 𝑞6
Se identifica que es un autómata determinista
3. Se toman los estados finales en un grupo 𝑋 y los

normales como 𝑌, las transiciones que se minimicen
se describen con 𝛿′
𝑋 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , q 5 , q 6 } Aceptador
𝑌 = { } No aceptador
4. Se verifica nuevamente las transiciones, se verifica

las transiciones repetidas y se marca con un color
para identificarlos
𝜹 𝟎 𝟏 𝟐
𝑿 𝒒𝟎 𝑋 𝑋 −
𝒒𝟏 − 𝑋 𝑋
𝒒𝟐 𝑋 𝑋 𝑋
𝒒𝟑 𝑋 𝑋 −
𝒒𝟒 𝑋 𝑋 𝑋
𝒒𝟓 𝑋 𝑋 𝑋
𝒒𝟔 𝑋 − 𝑋
5. Se renombran los conjuntos nuevamente, por

conjuntos equivalentes con las transiciones
repetidas
𝑋 = {𝑞1 }, 𝑀 = {𝑞0 , 𝑞3 }, 𝑍 = {𝑞2 , 𝑞4 , 𝑞5 }
𝑁 = {𝑞6 }
6. Se repite el proceso hasta notar que no se tienen
salidas idénticas.
𝜹 𝟎 𝟏 𝟐
𝑿 𝑞1 − 𝑋2 𝑋0
𝑴 𝑞0 𝑋5 𝑋2 −
𝑞3 𝑋6 𝑋2 −
𝑵 𝑞6 𝑋6 − 𝑋6
𝒁 𝑞2 𝑋5 𝑋2 𝑋4
𝑞4 𝑋5 𝑋2 𝑋6
𝑞5 𝑋6 𝑋2 𝑋4
Como vemos, ya no se repiten entre estados las

llegadas y como todos los estados son estados de aceptación
se tiene:
𝜹′ 𝟎 𝟏 𝟐
𝑿 𝑞1 − 𝑋2 𝑋0
𝑴 𝑞0 𝑋5 𝑋2 −
𝑞3 𝑋6 𝑋2 −
𝑵 𝑞6 𝑋6 − 𝑋6
𝒁 𝑞2 𝑋5 𝑋2 𝑋4
𝑞4 𝑋5 𝑋2 𝑋6
𝑞5 𝑋6 𝑋2 𝑋4
Resultado del
Autómata
minimizado
Notación formal está dado por:

({𝑋, 𝑀, 𝑁, 𝑍}, {0,1,2}, 𝑋, 𝛿 ′ , {𝑋, 𝑀, 𝑁, 𝑍})
Lenguaje Regular {0𝑛 1𝑚+2 0(10)𝑙 02𝑟 0𝑢 1𝑡 , 0𝑛 1𝑚+2 0𝑠+2 12𝑟 | 𝑛, 𝑚, 𝑙, 𝑠, 𝑟, 𝑡 ≥ 0}
Gramática del 𝛼 →𝛽
autómata
𝛼 ∈ 𝑁𝑇
𝐵
𝛽∈{𝐶
𝐶𝐵
𝑞1 ∈ 𝑇 ∗
Conclusión
Para cada automata de pila que acepte cadenas sin vaciar su pila, existe un autómata
equivalente pero que vacía su pila antes de llegar a un estado de aceptación.
Bibliografía
• Ojeda L. (2017). Autómatas deterministas y no deterministas. Recuperado de:

https://core.ac.uk/download/pdf/154797605.pdf
• Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -124).

Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10
• González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito No Determinista a Autómata
Finito Determinista [Archivo de video]. Recuperado de
https://www.youtube.com/watch?v=29Qp_AWXFt4
• (S.f).Automatas de pila. Recuperado de:

https://www.cs.buap.mx/~mtovar/doc/LFAA/Unidad4AP.pdf
• Martínez, J.(S.f).Automatas de pila. Recuperado de: http://ocw.uc3m.es/ingenieria-

informatica/teoria-de-automatas-y-lenguajes-formales/material-de-clase-1/tema-6-
automatas-a-pila
• Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). (pp. 249 - 276). Teoría de
autómatas y lenguajes formales. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&p
pg=6

6

Cargado por

Copyright:

Formatos disponibles

6

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

6

Cargado por

Copyright:

Formatos disponibles

AUTOMATAS Y LENGUAJES FORMALES

Unidad 2 - Fase 3 - Modelar problemas de Lenguajes Independientes del Contexto.

ROLANDO FABIAN JUNCO

DIEGO MAURICIO GARNICA WILCHES -1022357731

IVÁN PARRA GONZÁLEZ – 1030557533

LUISA FERNANDA BARRERA-1018480390

JHONATTAN GUILLERMO RODRIGUEZ ROJAS - 1032388840

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

En el siguiente trabajo se mostrarán los fundamentos matemáticos de los modelos cinemáticos

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

Último dígito Ejercicio

ACTIVIDAD 1: Autómatas de Pila

EJERCICIO A Ejercicio 1 / DIEGO MAURICIO GARNICA WILCHES

Caracterizació En este espacio se realiza:

Tenemos un autómata finito no determinista (AFND) cuya 7-Tupla

Σ = {0, 1}. Alfabeto

- Realizar un cuadro comparativo de la Equivalencia entre

AP Estado final AP Vaciado de pila

Se puede apreciar que APV es igual que APF´ y se verifica

Procedimiento Realice de manera detallada y grafica el procedimiento paso a

De acuerdo a lo planteado, se proyecta la siguiente trama:

- Paso 1: Cuando el autómata de encuentra en el estado inicial

- Paso 3: El autómata permanece en el estado inicial q0, Lee el

- Paso 4: El autómata permanece en el estado inicial q0, Lee el

- Paso 6: El autómata permanece en el estado q1, Lee el símbolo

- Paso 8: El autómata permanece en el estado q1, Lee el símbolo

Para una transición:

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

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

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

Último dígito Ejercicio

ACTIVIDAD 1: Autómatas de Pila

Caracterización Tenemos el autómata de pila como:

Notemos primero que el autómata no cuenta con estado final o de

Γ: Un alfabeto de pila finito

𝑍0 : Símbolo inicial de la pila

𝑞0 : Estado inicial de la pila

𝑄: Conjunto finito de estados

𝑓: función de transición de ternas

𝛿: la funcion de transicion está dada por:

𝐿𝐹 (𝐴𝑃) = {𝑥|(𝑞0 , 𝑥, 𝑍0 ) 𝐿𝑉 (𝐴𝑃) = {𝑥|(𝑞0 , 𝑥, 𝑍0 )

Por eso procedemos a plantear la siguiente trama.

Al inicio la pila está vacía y sin recibir el primer valor

Descripción transición: cuando el autómata se encuentra en el

Dejando una B en la pila

Descripción transición: Con el autómata en 𝑞0 , lee la entrada “0”,

𝜹(𝒒𝟎 , 𝟎, 𝑪) = (𝒒𝟎 , 𝑩𝑪)

Descripción transición: Estando en el estado 𝑞0 , lee el símbolo de

Descripción transición: Con el autómata en el estado 𝑞0 , lee el

𝜹(𝒒𝟎 , 𝟎, 𝑪) = (𝒒𝟎 , 𝑩𝑪)

Descripción transición: El autómata en el estado 𝑞0 , lee el símbolo

Descripción transición: Aquí toma la B de la pila y escribe una C,

Descripción transición: Aquí toma la C de la pila y NO se escribe

Descripción transición: Aquí toma la C de la pila y NO se escribe

Descripción transición: Aquí toma la C de la pila y NO se escribe

Estudiante: Luisa Fernanda Barrera S.

ACTIVIDAD 1: Autómatas de Pila