Autómatas y lenguajes formales

Minimización de Autómatas

Jhon Estip Taborda Medrano

Grupo 301405_63

Tutor

Rafael Pérez Holguín

Universidad Nacional Abierta y a distancia UNAD

Autómatas y lenguajes formales

Bogotá 2021
 Ejercicios 2: Gramática del autómata
El estudiante realiza paso a paso la gramática del autómata que seleccionó.
Identifique su gramática (de forma manual) por la derecha o izquierda y la caracteriza.
Debe incluir el diagrama de estados con los componentes de la gramática asociados a las
variables y a las constantes.
Ejercicio Grupal: Minimización de autómatas

Ejercicio a Registre aquí el ejercicio a trabajar. Por Favor agregue la imagen.

trabajar

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

o de autómata.
minimización Paso 1: Hallar la quíntupla del autómata.
K = {q0, q1, q2, q3, q4, q5} Cantidad de estados del autómata.
Σ = {a, b} Alfabeto del autómata.
s = q0 Estado inicial.
F = {q1, q3, q4, q5} Estado final
δ = Función de transición.

Paso 2: Realización de la tabla de transiciones:

Donde la función δ: {q0, q1, q2, q3, q4, q5,} × {a, b} → {q0, q1, q2, q3, q4, q5,} viene
dada por:

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

se adiciona un estado q6 ya que los estados q1 y q3 solo tienen de a una transición.

Paso 3: Obtenemos los conjuntos aceptadores y no aceptadores los llamamos X y Y.

X = {q1, q3, q4, q5}

Y = {q0, q2, q6}

Paso 4: Validamos la información del conjunto X.

 a b
q1 Y Y
q3 X Y
q4 X X
q5 X Y

Paso 5: Validamos información del conjunto Y.

a b
q0 Y X
q2 X X
q6 Y Y

Resultado del Agregue aquí la imagen del autómata minimizado.

Autómata
minimizado
 Referencias Bibliográficas

Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales. Universidad de

Extremadura. Servicio de Publicaciones. (pp. 74 – 104). Recuperado
de: http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-live&scope=site.

González, A. [Ángela]. (2018, junio 1). Lenguajes Independientes del Contexto. [Archivo
web]. Recuperado de http://hdl.handle.net/10596/18317

Gonzales, A. (2018) Autómatas de pila, Recuperado de: https://www.youtube.com/watch?

v=o9eUECLgQno