AUTÓMATAS Y LENGUAJES FORMALES

UNIDAD 2 - FASE 3 - MODELAR PROBLEMAS DE LENGUAJES INDEPENDIENTES DEL

CONTEXTO

APORTE INDIVIDUAL

PRESENTADO POR:

CÉSAR ARMANDO CRUZ

CÓDIGO: 79782158

PRESENTADO A:

VERMEN RAINER AYALA

TUTOR

GRUPO: 301405_67

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

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

ABRIL 2020
 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

Ejercicio 2

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterizació En este espacio se realiza:

n del - Mediante la definición formal explicar las
autómata a características del autómata
pila - Realizar un cuadro comparativo de la
Equivalencia entre AP por vaciado de pila y AP
 por estado final
Equivalencia de APF y APV
Teorema:
El conjunto de lenguajes aceptados por estado
final por los autómatas a pila LAPF es igual que el
conjunto de lenguajes aceptados por vaciado por
pila de los autómatas a pila LAPV
LAPF⊆LAPV
Sea AP = (Σ, Γ, Q, A0, q0, f, F) un autómata a
pila y LF(AP) el lenguaje aceptado (por estado
final) de este autómata. Construimos AP’= (Σ,
Γ∪{B}, Q∪ {s, r}, B, s, f’, ∅), con B∉Γ y s, r∉Q,
donde f’ está definido por:
- f’ (s, λ, B) = {(q0, A0B)}
- f’ (q, a, A) =f (q, a, A) para todo q∈Q, q∉F,
a∈Σ∪{λ} y A∈Γ
- f’ (q, a, A) =f (q, a, A) para todo q∈F, a∈Σy
A∈Γ
- f’ (q, λ, A) =f (q, λ, A) ∪ {(r, λ)} para todo
q∈F y A∈Γ
- f’ (q, λ, B) = {(r, λ)} para todo q∈F
- f’ (r, λ, A) = {(r, λ)} para todo A∈Γ∪{B}
Se puede mostrar que LF(AP)=LV(AP’). Por tanto
se verifica que LAPF⊆LAPV.
LAPV⊆LAPF
Sea AP= (Σ, Γ, Q, A0, q0, f, F) un autómata a
pila y LV(AP) el lenguaje aceptado (por vaciado
de pila) de este autómata. Construimos AP’= (Σ,
Γ∪{B}, Q∪ {s, r}, B, s, f’, {r}), con B∉Γ y s, r∉Q,
donde f’ está definido por:
- f’ (s, λ, B) = {(q0, A0B)}
- f’ (q, a, A) = f (q, a, A) para todo q∈Q,
a∈Σ∪{λ} y A∈Γ
- f’ (q, λ, B) = {(r, λ)} para todo q∈Q.
Se puede mostrar que LV(AP)=LF(AP’). Por tanto,
se verifica que LAPV⊆LAPF.
De LAPF ⊆ LAPV y LAPV⊆LAPF se sigue que
LAPV= LAPF, lo que demuestra el teorema.

Procedimiento Realice de manera detallada y grafica el procedimiento

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

F (q, a, A) = {(q1, Z1), (q2, Z2) ... (qn, Zn)}

Paso a paso del recorrido de la cadena de

entrada “a”.
- Paso 1: cuando se realiza la transición partiendo desde
“q0” a “q1”, el autómata lee el símbolo de entrada “a”, y
tiene el símbolo “A” en la cima de la pila. A su vez “q1”
estaría leyendo de la misma forma el símbolo de entrada
“a”

- Paso 2: El autómata pasará del estado “q1” al estado

“q2”, leyendo el símbolo de entrada “A”. Eliminará el
símbolo A de la pila e introducirá en ella la palabra A1,
quedando la cabeza de A1 en la cima de la pila.

Paso 3: El autómata pasará del estado “q2” al estado

“q1”, leyendo el símbolo de entrada “A1”. Eliminará el
símbolo A1 de la pila e introducirá en ella la palabra A2,
quedando la cabeza de A2 en la cima de la pila.
Paso 4: El autómata pasará del estado “q1” al estado
“q0”, leyendo el símbolo de entrada “A2”. Eliminará el
símbolo A2 de la pila e introducirá en ella la palabra A3,
quedando la cabeza de A3 en la cima de la pila.

Paso a paso del recorrido de la cadena de

entrada “b”.

- Paso 1: cuando se realiza la transición partiendo desde

“q0” a “q1”, el autómata lee el símbolo de entrada “b” y
tiene el símbolo “B” en la cima de la pila. A su vez “q1”
estaría leyendo de la misma forma el símbolo de entrada
“B”

- Paso 2: El autómata pasará del estado “q1” al estado

“q2” leyendo el símbolo de entrada “b”. Eliminará el
símbolo B de la pila e introducirá en ella la palabra B1,
quedando la cabeza de B1 en la cima de la pila.
 - Paso 3: El autómata pasará del estado “q2” al estado
“q1” leyendo el símbolo de entrada “B1”. Eliminará el
símbolo B1 de la pila e introducirá en ella la palabra B2,
quedando la cabeza de B2 en la cima de la pila.

Paso 4: El autómata pasará del estado “q1” al estado

“q0” leyendo el símbolo de entrada “B2”. Eliminará el
símbolo B2 de la pila e introducirá en ella la palabra B3,
quedando la cabeza de B3 en la cima de la pila.

Practicar y
verificar lo
aprendido
Lenguaje (0,A;AA+0,Z;)* 1 , A ; B (1,B; +1,A,B)*
regular

DESARROLLO A LAS PREGUNTAS

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