Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Minimización de Un AFD

    Cargado por

    Alfredo M
    3 vistas12 páginas
    El documento describe los pasos para minimizar un autómata finito determinista (AFD). Primero, los estados se dividen en clases de equivalencia según su estado de aceptación. Luego, se comprueba si los estados dentro de cada clase siguen siendo equivalentes al recibir cadenas más largas. Finalmente, se reducen los estados equivalentes para obtener el AFD mínimo. Se proveen dos ejemplos para ilustrar el proceso.

    Descripción original:

    Título original

    Untitled

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PPTX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento
    El documento describe los pasos para minimizar un autómata finito determinista (AFD). Primero, los estados se dividen en clases de equivalencia según su estado de aceptación. Luego, se comprueba si los estados dentro de cada clase siguen siendo equivalentes al recibir cadenas más largas. Finalmente, se reducen los estados equivalentes para obtener el AFD mínimo. Se proveen dos ejemplos para ilustrar el proceso.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    3 vistas12 páginas

    Minimización de Un AFD

    Cargado por

    Alfredo M
    El documento describe los pasos para minimizar un autómata finito determinista (AFD). Primero, los estados se dividen en clases de equivalencia según su estado de aceptación. Luego, se comprueba si los estados dentro de cada clase siguen siendo equivalentes al recibir cadenas más largas. Finalmente, se reducen los estados equivalentes para obtener el AFD mínimo. Se proveen dos ejemplos para ilustrar el proceso.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 12

    Minimización de un AFD

    Procedimiento
    Paso1
    • Organizar los estados de aceptación y los que no lo son

    0 1
    ->*q0 q1 q2
    *q1 q1 q3
    *q2 q1 q4
    *q3 q1 q4
    q4 q4 q4

    Q/E=[Clase0={q0,q1,q2,q3}, Clase1={q4}]
    Paso2
    • Cuáles de los estados de cada una de las clases siguen siendo
    equivalentes cuando reciben una cadena de longitud mayor a 1.

    0 q1

    q0 1
    q2
    q0q1 Si son equivalentes
    q1
    q1 0

    1 q3
    Paso2

    0 q1

    q0 1
    q2
    q0q2 No son equivalentes
    q1
    q2 0

    1 q4
    Finalmente
    • Estados equivalentes

    Q/E=[Clase0={q0,q1},Clase1={q4},Clase2={q2,q3}]
    AFD en su forma mínima
    Ejemplo2

    a b
    q0 q1 q2
    q1 q1 q3
    q2 q1 q2
    q3 q1 q4
    q4 q1 q2

    Q/E=[Clase0={q0,q1,q2,q3}, Clase1={q4}]
    Q/E=[Clase0={q0,q1,q2,q3}, Clase1={q4}]

    a b
    a b
    q0 q1-Clase0 q2-Clase0
    q4 q1-Clase0 q2-Clase0
    q1 q1-Clase0 q3-Clase0
    q2 q1-Clase0 q2-Clase0
    q3 q1-Clase0 q4-Clase1
    Clase2

    Q/E=[Clase0={q0,q1,q2},Clase2={q3}, Clase1={*q4}]
    a b
    q0 q1-Clase0 q2-Clase0
    q1 q1-Clase0 q3-Clase2 Clase3
    q2 q1-Clase0 q2-Clase0

    Q/E=[Clase0={q0,q2},Clase2={q3}, clase3={q1},Clase1={*q4}]
    Q/E=[Clase0={->q0,q1} Clase2={q2}, Clase3={q3}, Clase1={*q4}]

    a b
    q0 q1 q2
    q1 q1 q3
    q2 q1 q2
    q3 q1 q4
    q4 q1 q2
    Actividad
    Realizar la minimización de los siguientes autómatas
    Ejercicio1
    Ejercicio2

    También podría gustarte