TAREA 3 CONSTRUCCION DE AUTOMATAS DE PILA

Nombre De Estudiantes:
Meyerson Stiven Álvarez Castro
Jhon Edison Diaz Arias
Jhonatan Yefreidy Tique Yate

Tutor
Angela María Gonzales

Universidad Nacional Abierta Y A Distancia (Unad)

Escuela De Ciencias Básicas Tecnología E Ingeniería
Grupo Colaborativo 301405_47
Ingeniería De Sistemas
2023
 EJERCICIO GRUPAL:

EJERCICIO A TRABAJAR

PROCEDIMIENTO DE Realice de manera detallada el procedimiento paso a paso de la minimización del

MINIMIZACIÓN autómata.
- Paso 1
Sacamos nuestros estados aceptadores y los no aceptadores, donde x serán los estados
aceptados y y para los no aceptadores
x={q 6 }
y={q 0 , q 1 , q 2 , q 3 , q 4 ,q 5 }

- Paso 2
Creamos la tabla de los estados aceptadores y no aceptadores.
Aceptadores:
a b
q6 y ϕ

No aceptadores
a b
q0 y y
q1 y y
q2 x y
q3 x y
q4 x y
q5 x y

- Paso 3
Separar los estados equivalentes como nuevos conjuntos, se crearán dos conjuntos nuevos,
los cuales son n y m estos dos conjuntos remplazan al conjunto y del paso 1
n={q 0 , q 1}
m={q 2 , q 3 , q 4 ,q 5 }
- Paso 4
Validación de los conjuntos
Conjunto n
n a b
q0 n m
q1 m m

Conjunto m
m a b
q2 x m
q3 x m
q4 x m
q5 x m

Conjunto x
x a b
q6 m ϕ

- Paso 5
Separar los estados equivalentes y los no equivalente como nuevos conjuntos
n={q 0}
c={q 1 }
m={q 2 , q 3 , q 4 ,q 5 }
x={q 6 }

- Paso 6
Validación de los conjuntos
Conjunto n
n a b
q0 c m

Conjunto c
c a b
q1 m m

Conjunto m
m a b
q2 x m
q3 x m
q4 x m
q5 x m

Conjunto x
 x a b
q6 m ϕ

- Paso 7
Tabla de transición
a b
n c m
c m m
m x m
x m ϕ

RESULTADO DEL
AUTÓMATA
MINIMIZADO

NOTACIÓN FORMAL Quíntupla del autómata

DEL AUTÓMATA M =q 0 , q 1, q 2 , q 3 , q 4 , q 5 , q 6
MINIMIZADO Σ=a ,b
q 0=q 0
F=q 6
δ (q 0 , a)=q 1
δ (q 0 , b)=q 2
δ (q 1 , a)=q 3
δ (q 1 , b)=q 5
…….. CONTINUAR….
Realice la tabla de transición
A=(Q , ∑, δ , q 0 , F)

a b
q0 q1 q2
q1 q2 q2
q2 q3 q2
q3 q2 ---
CARACTERIZACIÓN Quíntupla del autómata
DEL AUTÓMATA PARTE  Q conjuno de estados finitos : 4 estados(q0 , q1 , q2 , q3 )
TEÓRICA  ∑ Alfabeto de estrada: a , b .
 sϵQ Es el estadoinicial : q0
 F ⊆ Q Conjunto de estados finales :q3
  δ :Qx ∑→ P(Q) es la función de transición:
 δ (q 0 , a)=q 1
 δ (q 0 , b)=q 2
 δ (q 1 , a)=q 2
 δ (q 1 , b)=q 2
 δ (q 2 , a)=q 3
 δ (q 2 , b)=q 2
 δ (q 3 , b)=q 2

LENGUAJE REGULAR En este espacio agrega el lenguaje regular del autómata.

GRAMÁTICA DEL
AUTÓMATA La gramática en autómata es la forma como indicamos la definición, por ejemplo.
Donde la función δ: {q0, q1, q2, q3, q4, q5, q6 } x {a,b} → { q0, q1, q2, q3, q4, q5,
q6} viene dada por:

δ (q0, a) = q1
δ (q0, b) = q2
δ (q1, a) = q3
δ (q1, b) = q5
δ (q2, a) = q4
δ (q2, b) = q6
δ (q3, a) = q6
δ (q3, b) = q5
δ (q4, a) = q6
δ (q4, b) = q4
δ (q5, a) = q6
δ (q5, b) = q4
δ (q6, a) = q3
δ (q6, b) = q5

VALIDACIÓN DE
CADENAS
PRACTICAR Y
VERIFICAR LO
APRENDIDO
 Bibliografía
Concha Vega P, Torres Avilés R. A. (2021). Binary Complete and Aperiodic Turing
Machine. International Journal of Unconventional Computing.;16(1):19-39.
https://search-ebscohostcom.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=aci&AN=149259622&lang=es&site =eds-live&scope=site
Rosenfeld, D. R. y Irazábal, J. (2013). Computabilidad, complejidad computacional
y verificación de programas. Argentina: D - Editorial de la Universidad Nacional de
La Plata. (pp. 7 - 40).
https://elibro-net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/66401
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. 11 - 80).
https://bibliotecavirtual.unad.edu.co/login?url=https://search-
ebscohostcom.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site =ehost-
live&ebv=EB&ppid=pp_Cover
Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales. Universidad
de Extremadura. Servicio de Publicaciones. (pp. 74 – 104).
http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-
live&scope=site
Salomaa, A. (1985). Computation and Automata. Cambridge University Press,
ISBN 9780521302456. Chapter 2 Rudiments of Language Theory. 2.2 Grammars
(pp. 14 – 24).
https://search-ebscohost-com.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=e000xww&AN=570392&lang=es&site=ehost-live
Angela María Gonzalez Amarillo. (2020, 9 mayo). Autómatas de pila [Vídeo].
YouTube. https://www.youtube.com/watch?v=o9eUECLgQno