Tarea 3 Construcción de

autómatas de pila

GRUPO: 301405_1

- Tutor

Ing. Luis Enrique Camargo

Camargo

CAMILO ANDRÉS RUDAS GÓMEZ

WILLIAN CLEMENTE SÁNCHEZ
HARVIN PACHECO COVELLI
JHON EDGAR MONTERO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Junio 2021

1
Ejercicio Grupal: Minimización de autómatas

Deben diligenciar la siguiente información:

2
Procedimiento
de minimización 1. Definir los conjuntos aceptadores y no aceptadores

𝑋 = {𝑞4, 𝑞6} 𝐴𝑐𝑒𝑝𝑡𝑎𝑑𝑜𝑟𝑒𝑠

𝑌= {𝑞0, 𝑞1, 𝑞2, 𝑞3, 𝑞5} 𝑁𝑂 𝐴𝑐𝑒𝑝𝑡𝑎𝑑𝑜𝑟𝑒𝑠

2. Definir tabla de estados para el conjunto de aceptadores X

Estado
X siguiente
0 1
𝑞4 𝑌
𝑞6 𝑌 𝑌

3. Definir tabla de estados para el conjunto de aceptadores X

Estado
Y siguiente
0 1
𝑞0 𝑋 𝑌
𝑞1 𝑋 𝑌
𝑞2 𝑌 𝑋
𝑞3 𝑌 𝑋
𝑞5 𝑌 𝑋

4. Encontrar estado equivalentes y no equivalentes:

𝑞0, 𝑞1 𝑠𝑜𝑛 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒𝑠

𝑞2, 𝑞3, 𝑞5 𝑠𝑜𝑛 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒𝑠

5. Definir conjuntos de acuerdo con equivalencias:

𝑋 = {𝑞4}
𝑀 = {𝑞0, 𝑞1}
𝑁 = {𝑞2, 𝑞3, 𝑞5}
𝑍 = {𝑞6}

6. Definir tablas de estados nuevamente para los nuevos conjuntos

Estado
M
siguiente
3
 0 1
𝑞0 𝑋 𝑀
𝑞1 𝑋 𝑁

Estado
N siguiente
0 1
𝑞2 𝑁 𝑋
𝑞3 𝑁 𝑋
𝑞5 𝑁 𝑋

7. Para M no se tiene equivalencias, para N todos son equivalentes, por lo tanto,

los conjuntos quedan de la siguiente forma:

𝑋 = {𝑞4}
𝑁 = {𝑞2, 𝑞3, 𝑞5}
𝑍 = {𝑞6}
𝑂 = {𝑞0}
𝑃 = {𝑞1}

8. Por lo tanto, las tablas de estado para cada uno de los conjuntos serían las
siguientes:
Estado
X siguiente
0 1
𝑞4 𝑁

Estado
Z siguiente
0 1
𝑞6 𝑁 𝑁

Estado
O siguiente
0 1
𝑞0 𝑋 𝑃

Estado
P siguiente
0 1
4
 𝑞1 𝑋 𝑁

Estado
N siguiente
0 1
𝑞2 𝑁 𝑋
𝑞3 𝑁 𝑋
𝑞5 𝑁 𝑋

9. Entonces la tabla de estados de los conjuntos seria la siguiente:

Estado
siguiente
0 1
𝑂 𝑋 𝑃
𝑃 𝑋 𝑁
𝑁 𝑁 𝑋
𝑋 𝑁
𝑍 𝑁 𝑁

Resultado del
Autómata
minimizado

Notación • Identificación de la quíntupla

formal del 𝐴 = {𝑄, Σ , δ, q0, F}
autómata 𝑀 = [{𝑂, 𝑃, 𝑁, 𝑋, 𝑍}, {0,1}, 𝛿, 𝑂, {𝑋, 𝑍}]
minimizado,
K: (O, P, N, X, Z)

∑: Alfabeto Binario (0,1)

δ: Q x Σ Q, es la función total de transición

5
 δ(O, 0) = 𝑋
δ(O, 1) = 𝑃
δ(P, 0) = 𝑋
δ(𝑃, 1) = 𝑁
δ(N, 0) = 𝑁
δ(N, 1) = 𝑋
δ(𝑍, 0) = 𝑁
δ(𝑍, 1) = 𝑁
δ(𝑋, 0) = 𝑁

S= estado inicial de autómata (O)

F= estado final del autómata (X, Z)

• Tabla de Transición

Estado Actual 0 1
O X P
P X N
N N X
X N -
Z N N
Caracterización Su definición formal está dada por la tupla. Q, Σ, q0, δ, F
del autómata
parte teórica K = Conjunto de estados posibles del autómata: da a conocer
todos los posibles estados que tiene el autómata en su recorrido.

∑ = Alfabeto: valores posibles símbolos de entrada dados

durante la transición de estado a otro.

S = Estado inicial: Estado donde se debe inicial el autómata.

F = Estado final: Estado donde finaliza o acepta el autómata.

𝜹 = Relación entre transiciones: Relación entre transiciones.

Lenguaje 1. Abrir el autómata

Regular

6
1. Eliminar P

7
 1. Eliminar n

11(0*(10)*)*1

8
(0+1)((0*(10)*)*1)

Entonces queda:

0+10+11(0*(10)*)*1

9
Gramática del
autómata

Gramática lineal por la derecha en el procedimiento manual obtenemos

𝑂→1𝑃 | 0𝑋
𝑃→1𝑁 | 0𝑋
𝑁→1𝑋 | 0𝑁
𝑋→0𝑁
𝑍→1𝑁 | 0𝑁

Análisis

Donde G 𝐺=(𝑉,𝑇,𝑆,𝑃)

𝑉={𝑆,𝑂,𝑃,𝑁,𝑋,Z}
𝑆=𝑂
𝑇={0,1}

P=
𝑂→1𝑃 | 0𝑋
𝑃→1𝑁 | 0𝑋
𝑁→1𝑋 | 0𝑁
𝑋→0𝑁
𝑍→1𝑁 | 0𝑁

10
Validación de
cadenas

Practicar y
verificar lo
aprendido Vamos a recorrer la anterior cadena 1101001 y para esto recordemos que vamos a
arrancar en el estado O

11
Al momento de ingresar el primer carácter que es 1 vamos a pasar al estado P

Luego, nuestro siguiente carácter es el 1 lo cual nos va a llevar al estado N

Para el siguiente carácter el cual va a ser un 0, nos va a dejar en el mismo estado.

12
Si continuamos recorriendo la cadena vamos a irnos al estado X, con el ingreso de
un 1

El siguiente carácter es un 0 lo cual nos hará regresar a nuestro estado N y si

recorremos el siguiente carácter vamos a seguir en el mismo estado

13
Ya solo nos queda un carácter el cual es un 1 y con esto terminamos nuestro
recorrido, ya que nos va a dejar en el estado X. Recordemos que este es un estado
final y por ende se acepta la cadena

14
 Referencias

Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de lenguajes, gramáticas y
autómatas para informáticos. Digitalia. (pp. 119 - 127). Recuperado
de https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lang=es&site=ehost-
live&ebv=EB&ppid=pp_Cover

Alfonseca Cubero, E. (2007). Teoría de autómatas y lenguajes formales. Madrid etc., Spain: McGraw-Hill
España. (pp. 117 - 150). Recuperado de https://elibro-net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/50119

15