AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 2 - TAREA 3 – CONSTRUCCIÓN DE AUTOMATAS DE PILA

GRUPO: 301405_30

INGRITH YURLEY MOSQUERA VARGAS

COD: 1101759789

ANGY DANIELA JEREZ PINZÓN

CODIGO:1099376182

TUTOR

RAFAEL PEREZ HOLGUIN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

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

COLOMBIA

2021
 EJERCICIOS A DESARROLLAR

Ejercicio Grupal: Minimización de autómatas

EJERCICIO A
TRABAJAR
  Eliminación de conjuntos
Establecer conjuntos
1. Estados aceptadores q 4 , q 6
X ={q 4 , q 6 }
2. Estados no aceptadores q 0 ,q 1 , q 2 , q 3 , q 5 , q 6
Y = { q 0 , q 1 , q 2, q 3 , q 5 }
3. Hallar transiciones del conjunto de estados aceptadores
0 1
q4 Y ϕ
q6 Y Y
4. Hallar transiciones del conjunto de estados aceptadores
0 1
q0 X Y
q1 X Y
q2 Y X
q3 Y X
q5 Y X
Equivalentes: { q 0 ,q 1 } { q 2 , q 3 , q 5}
Procedimiento de
minimización 5. Formar nuevos conjuntos
A={q 4 }
B={q 6 }
M ={q 0 , q 1 ,}
N={q 2 , q 3 , q 5 }
6. Validar de nuevo cada conjunto: (A, B, M, N)
Conjunto A:
0 1
q4 N ϕ
Conjunto B:
0 1
q6 N N

Conjunto M:
0 1
q0 A M
q1 A N
Conjunto N:
 0 1
q2 N A
q3 N A
q5 N A
7. Formar nuevos conjuntos
A={q 4 }
B={q 6 }
N={q 2 , q 3 , q 5 }
Z={q 0}
D= { q 1 }
8. Validar de nuevo cada conjunto: (A, B, N, Z, D)
Conjunto A:
0 1
q4 N ϕ
Conjunto B:
0 1
q6 N N
Conjunto N:
0 1
q2 N A
q3 N A
q5 N A
Conjunto Z:
0 1
q0 A D
Conjunto D:
0 1
q1 A N

 Hacer tabla de transiciones

0 1
A N ϕ
B N N
N N A
Z A D
D A N
Resultado del Autómata
minimizado
Notación formal del  Identificación de la quíntupla del autómata:
autómata minimizado M =( { A , N , B , Z , D } { 0 ,1 } δ =Z , { A , B })
K= { A , N , B , Z , D }
Σ={0 ,1 }
S=Z
F= A , B
Donde la función δ = { A , N , B , Z , D } x {0 , 1}
{ A , N , B , Z , D } viene dada por
( A , 0)=N
( N , 0 )=N
( N , 1 )= A
( B ,0 )=N
( B ,1 ) =N
( Z , 0 ) =A
( Z , 1 )=D
( D , 0 )= A
( D ,1 )=N

 Plasme la tabla de transición

0 1
 Z A D
 N N A
D A N
#A N ϕ
#B N N
Caracterización del M =( { A , N , B , Z , D } { 0 ,1 } δ =Z , { A , B }) conjunto de estados y alfabeto
autómata parte teórica K= { A , N , B , Z , D } conjunto finito de estados
Σ= {0 ,1 } Alfabeto finitos de entrada
S=Z estadoinicial
F= A , B estado final
δ = { A , N , B , Z , D } x { 0 ,1 } funcion de transición
Tupla: Un automata finito determinista, es un conjunto finitos de estados, contiene alfabeto,
funciones de transicion, estado inicial y conjunto de estados aceptadores.

ESTADO INICIAL
Es donde empieza a determinar el comportamiento el autómata en el estado inicial, quien
recibe el símbolo de entrada representado por una figura geométrica unida a un circulo.

ESTADO FINAL
Es el subconjunto de Q (por tanto, finito) que contiene los estados de aceptación (o finales),
que son los estados que provocan la parada del autómata. Representado en este caso A,B
no significa que el estado final sea el que se encuentra cuando termina el autómata, se
localiza en un punto estratégico teniendo en cuenta lo que se requiera.

Alfabeto binario {0, 1}: El orden de sus elementos se denomina ordenación alfabética. Una
secuencia de un número arbitrario (finito) de símbolos del alfabeto forma una cadena, palabra
o frase.
 Lenguaje Regular L={0 n 1n|n≥ 1}
Gramática del autómata Las gramáticas son mecanismos generadores de lenguajes, es decir nos indican cómo
podemos obtener o construir palabras de un determinado lenguaje.

Una gramática independiente del contexto (GIC) es una cuádrupla G=(N, Σ, S, P), donde:
N: es una colección finita (no vacía) de símbolos no terminales.
Σ: es un alfabeto.
S: es un no terminal llamado símbolo inicial.
P: un conjunto de producciones tal que P⊆N (N∪Σ)*.

Los lenguajes generados por una GIC son llamados Lenguajes Independientes del
Contexto (LIC). Es posible probar que la gramática independiente del contexto dada por:
S → aSb|λ.

El lenguaje L(G)generado por una gramática G es el conjunto de todas las sentencias que
puede generar G.es decir expresado formalmente:
L (G )={n ∈ V T ¿ ∨S → n }
A → a siendo A ∈VN y a ∈(VN ∪VT )
Si cada regla representa como un par ordenado(A,a)el conjunto P es el subconjunto del
conjunto producto cartesiano VN *({VN ∪VT }) es decir:
P ⊂{N∗( { VN } ∪ {VT })' }

Para el presente ejercicio la expresión regular es L={0 n 1n|n≥ 1}

G=(Vn,Vt,S,P)
G=(( A , N , B , Z , D),{0,1},S,P)

Donde :
VT:{ A , N , B , Z , D }
VN:{0,1}
P es el conjunto de producción de la derecha
S= A N B Z D
S= A N B Z D S
Entonces las cadenas de esta gramática son
B=010B

D=010010A

B=010010A
C=1B

D=01001B

C=0B
A=010010B

A=λ

C= λ
S=0A

S=1D
Validación de cadenas
Practicar y verificar lo
aprendido

FUENTES DE CONSULTA

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
González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto. [Archivo web].

Recuperado de http://hdl.handle.net/10596/18317