Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 42 vistas

    Tarea 2 Diseño de Autómatas

    Cargado por

    kmtc2014
    Este documento presenta la solución de dos ejercicios sobre autómatas finitos. En el primer ejercicio, se describe un autómata finito no determinista de cinco estados y se convierte su lenguaje a una expresión regular. En el segundo ejercicio, se describe otro autómata finito no determinista y se convierte a un autómata finito determinista mediante una tabla de transiciones.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Tarea 2 Diseño de Autómatas

    Cargado por

    kmtc2014
    42 vistas7 páginas
    Este documento presenta la solución de dos ejercicios sobre autómatas finitos. En el primer ejercicio, se describe un autómata finito no determinista de cinco estados y se convierte su lenguaje a una expresión regular. En el segundo ejercicio, se describe otro autómata finito no determinista y se convierte a un autómata finito determinista mediante una tabla de transiciones.

    Título original

    301405_3133876

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta la solución de dos ejercicios sobre autómatas finitos. En el primer ejercicio, se describe un autómata finito no determinista de cinco estados y se convierte su lenguaje a una expresión regular. En el segundo ejercicio, se describe otro autómata finito no determinista y se convierte a un autómata finito determinista mediante una tabla de transiciones.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    42 vistas7 páginas

    Tarea 2 Diseño de Autómatas

    Cargado por

    kmtc2014
    Este documento presenta la solución de dos ejercicios sobre autómatas finitos. En el primer ejercicio, se describe un autómata finito no determinista de cinco estados y se convierte su lenguaje a una expresión regular. En el segundo ejercicio, se describe otro autómata finito no determinista y se convierte a un autómata finito determinista mediante una tabla de transiciones.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 7

    Tarea 2 Diseño de Autómatas

    Luis Hernan Guillermo Robles Alvis (Cod. 3133876)

    Tutor: Jaime Jose Valdes

    UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

    FACULTAD DE CIENCIAS BASICA TECNOLOGIA E INGENIERIA

    AUTÓMATAS Y LENGUAJES FORMALES

    2021
    Ejercicio 1 Solución
    Autómata

    Característica Formalmente, un autómata finito es una 5-


    tupla (Q, Σ, q0, δ, F) donde:

    • es un conjunto finito de estados;

    {q0,q1,q2}

    • es un alfabeto finito;

    {0,1}

    • es el estado inicial;

    {q0}

    • es una función de transición;

    {q0,0} – {q2}

    {q0,1} – {q1}

    {q1,1} – {q1}

    {q1,1} – {q2}

    {q2,0} – {q0}

    • es un conjunto de estados
    finales o de aceptación.

    {q1}
    Viendo las transiciones del automata vemos como
    el estado q1 realiza dos transiciones con el simbolo
    1 por lo que determinamos que es un automata
    finito no determinista.
    Conversión a expresión regular

    Eliminacion q2

    Para la eliminación debemos reemplazar las


    transiciones que se produce dentro de este estado,
    como primera medida sería la transición que se
    produce entre q0 y q2.
    Después procedemos con la transiciones desde q1
    hasta q0 que pasa por q2.

    Eliminación de q1

    Procedemos a resolver el bucle de q0.

    {(00)*1(1)*10}*

    Después resolvemos la transición de q0 hasta q1

    (00)*1(1)*

    Autómata final {(00)*1(1)*10}*(00)*1(1)*


    Lenguaje regular LR= {(00)*.(1).(1)*.(10)}*.{(00)*.(1).(1)*}

    Ejercicio 1 Solución
    Autómata

    Característica Formalmente, un autómata finito es una 5-tupla (Q, Σ, q0,


    δ, F) donde:

    • es un conjunto finito de estados;

    {q0,q1,q2,q3}

    • es un alfabeto finito;

    {0,1}

    • es el estado inicial;

    {q0}

    • es una función de transición;

    {q0,0} – {q3}

    {q0,1} – {q1}

    {q1,1} – {q2}

    {q2,𝜆} – {q0}

    {q3,1} – {q2}
    • es un conjunto de estados finales o de
    aceptación.

    {q1}

    Viendo las transiciones del automata vemos como el estado


    q2 realiza transiciones vacías por lo que determinamos que
    es un automata finito no determinista.
    Conversión AFD Se genera una tabla de transiciones donde no se tiene en
    cuenta los estados que existen solo el estado q0 y a partir de
    este estado surgirán los demás estados.

    0 1
    {0} {3} {1}
    {1} {2}u{0}
    {2}u{0} {3} {1}
    {3} {2}

    Autómata final

    Verificación

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy