Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 18 vistas

    Logica

    Cargado por

    josefernandovilchezprado
    El documento describe los autómatas finitos no deterministas (AFN), comparándolos con los autómatas finitos deterministas (AFD). Un AFN tiene una función de transición que toma como entrada un estado y un símbolo y devuelve un subconjunto de estados, a diferencia de un AFD que siempre devuelve un único estado. Se provee un ejemplo de un AFN que acepta todas las cadenas que terminan en 01 y se explica cómo procesa la secuencia de entrada 00101. Finalmente, se define formalmente un AFN y se describe su función de transición extend

    Copyright:

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

    Logica

    Cargado por

    josefernandovilchezprado
    18 vistas3 páginas
    El documento describe los autómatas finitos no deterministas (AFN), comparándolos con los autómatas finitos deterministas (AFD). Un AFN tiene una función de transición que toma como entrada un estado y un símbolo y devuelve un subconjunto de estados, a diferencia de un AFD que siempre devuelve un único estado. Se provee un ejemplo de un AFN que acepta todas las cadenas que terminan en 01 y se explica cómo procesa la secuencia de entrada 00101. Finalmente, se define formalmente un AFN y se describe su función de transición extend

    Título original

    logica

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento describe los autómatas finitos no deterministas (AFN), comparándolos con los autómatas finitos deterministas (AFD). Un AFN tiene una función de transición que toma como entrada un estado y un símbolo y devuelve un subconjunto de estados, a diferencia de un AFD que siempre devuelve un único estado. Se provee un ejemplo de un AFN que acepta todas las cadenas que terminan en 01 y se explica cómo procesa la secuencia de entrada 00101. Finalmente, se define formalmente un AFN y se describe su función de transición extend

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    18 vistas3 páginas

    Logica

    Cargado por

    josefernandovilchezprado
    El documento describe los autómatas finitos no deterministas (AFN), comparándolos con los autómatas finitos deterministas (AFD). Un AFN tiene una función de transición que toma como entrada un estado y un símbolo y devuelve un subconjunto de estados, a diferencia de un AFD que siempre devuelve un único estado. Se provee un ejemplo de un AFN que acepta todas las cadenas que terminan en 01 y se explica cómo procesa la secuencia de entrada 00101. Finalmente, se define formalmente un AFN y se describe su función de transición extend

    Copyright:

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

    2.

    3 AUTOMATAS FINITOS NO DETERMINADOS:

    Los autómatas nos sirven para buscar palabras claves en textos lagos, pero antes de examinar

    debemos definir los autómatas si son no deterministas y demostrar si aceptan un lenguaje por

    algunos AFD

    2.3.1 PUNTO DE VISTA INFORMAL DE LOS AUTOMATAS FINITOS NO

    DETERMINISTAS:

    Un AFN es igual que un AFD, pero tienen una diferencia en el tipo de función, en el AFN su

    función toma estados y símbolos de entrada como los argumentos.

    EJEMPLO DE UN AFN QUE ACEPTA TODAS LAS CADENAS QUE TERMINAN EN 01.

    El trabajo del AFN es aceptar todas las cadenas formadas por ceros y en 01. El estado q0 es el

    estado inicia y el autómata estará en dicho estado, Por tanto, el estado q0 puede hacer una

    transición.

    ESTADOS DE UN AFN DURANTE EL PROCESAMIENTO DE LA SECUENCIA DE

    ENTRADA 00101
    En la figura se muestra como un AFN procesa las entradas, siempre parte de un estado inicial (q0) y

    cuando se lee el primer 0 el AFN N puede pasar al estado q0 o al estado q1.

    2.3.2 DEFINICIÓN DE AUTÓMATA FINITO NO DETERMINISTA:

    Un AFN se representa esencialmente como un AFD:

    A = (Q, Σ, δ, q0, F) donde:

    1. Q es un conjunto finito de estados.

    2. Σ es un conjunto finito de símbolos de entrada.

    3. q0, un elemento de Q, es el estado inicial.

    4. F, un subconjunto de Q, es el conjunto de estados finales (o de aceptación).

    5. δ, función de transición, esta toma como argumentos un estado de Q y un símbolo de entrada de Σ y

    devuelve un subconjunto de Q.

    2.3.3 FUNCIÓN DE TRANSICIÓN EXTENDIDA

    En esta función si no logramos leer ningún símbolo de entrada estaremos en el estado que hayamos

    empezado.

    EJEMPLO DE UNA TABLA DE TRANSICIONES DE UN AFN QUE ACEPTA TODAS LAS

    CADENAS QUE TERMINAN EN 01

    En esta tabla w=xa, donde aes el símbolo final de w y x

    2.3.4 EL LENGUAJE DE UN AFN:

    Se pasa del estado inicial a cualquier estado de adaptación

    L(A) es el conjunto de cadenas w que pertenece a Σ∗ y δ (q0, w) contiene un estado de aceptación.


    2.3.5 EQUIVALENCIA DE AUTÓMATAS FINITOS DETERMINISTAS Y NO

    DETERMINISTAS

    También podría gustarte