Scribd Logo
Upload

Welcome to Scribd!

  • Automatas Finitos y Lenguajes Formales

    Uploaded by

    Diana C. Rivera
    61 views15 pages

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PPT, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PPT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    61 views15 pages

    Automatas Finitos y Lenguajes Formales

    Uploaded by

    Diana C. Rivera

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PPT, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 15

    AUTOMATAS FINITOS Y LENGUAJES FORMALES

    PROF. DIANA CAROLINA RIVERA VELASCO

    CONTENIDO

    Autmata Aplicaciones Conceptos bsicos:


    Alfabeto Palabra Lenguaje Operaciones con lenguajes

    Autmatas finitos
    AFD AFN

    Representaciones

    AUTOMATA

    Maquina conceptual capacidad de procesar cadenas de texto.

    APLICACIONES -Reconocedores de lenguajes. Lenguajes de programacin anlisis lxico. - Comparacin de cadenas.

    - Ejemplo: para una palabra buscar y reemplazar.

    CONCEPTOS BASICOS
    ALFABETO Un alfabeto es un conjunto finito no vaco de smbolos. 1= {A,B,C,..Z,a,b,c,..z}

    2= {0, 1} 3 = {a, b} 4 = {na, pa, bra, la} 5 = {<HTML>,</HTML>,<BODY>,</BODY>} 6 = {|} 7 = {a, ab, aab}

    CONCEPTOS BASICOS
    PALABRA Una secuencia finita de smbolos de un alfabeto es una palabra sobre dicho alfabeto. 1 : CASA, MESA, moto, carro. 2 : 0, 1, 00, 01, 11, 000, 1001101 3 : a, aa, abb, ababa 4 : napa, palabra 7 : a, ab, aab, aaab, abab

    CONCEPTOS BASICOS
    LENGUAJE Conjunto de palabras sobre el alfabeto o cualquier subconjunto del universo sobre algn alfabeto. EJEMPLOS L = es el lenguaje vacio (que no contiene ninguna palabra), |L| = 0 L = {} es el lenguaje que solamente contiene la palabra vacio, |L| = 1. sea = {a, b} L1 = { , a, b} Lab = {anbn | n IN } es decir, el lenguaje que contiene todas las palabras con un nmero de as seguidos por el mismo nmero de bs.

    CONCEPTOS BASICOS

    OPERACIONES CON LENGUAJES


    Sea L ={A,B,Z,a,b,z} D= {0,1,,9}

    Unin L U D L|D cadenas de longitud 1 Concatenacin LD cadenas de longitud 2 Cerradura de kleene : L* Cerradura positiva: D+

    AUTOMATAS FINITOS
    Un autmata finito (AF) o mquina de estado finito es un modelo matemtico que realiza cmputos en forma automtica sobre una entrada para producir una salida. Este modelo est conformado por un alfabeto, un conjunto de estados y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una funcin de transicin, que recibe a partir de un estado inicial una cadena de caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autmata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptacin, que representa la salida.

    AUTOMATAS FINITOS
    Los autmatas finitos son reconocedores solo dicen si o no ante una determinada entrada. Entre ellos podemos encontrar:

    AFD (autmatas finitos deterministicos) AFN (autmatas finitos no deterministicos)

    AUTOMAS FINITOS

    Formalmente, un autmata finito es una 5-tupla (Q, , q0, T, F) donde:


    Q es un conjunto finito de estados es un alfabeto finito q0 es el estado inicial T es una funcin de transicin F es un conjunto de estados finales o de aceptacin.

    AUTOMATAS FINITOS
    inicio
    1 b 2 a 3 2 Para la codificacin de un Autmata existe lo que se Denomina tabla de transicin De estados, cuyas filas Corresponden a los estados y Los smbolos de entrada a las Columnas.

    ESTA DOS 1 2 3

    a {3}

    b {2}

    c {3}

    AUTOMATAS FINITOS DETERMINISTICOS

    Existe un camino o una transicin para cada smbolo del alfabeto.


    inicio 1 b 2 a

    3 2

    AUTOMATAS FINITOS NO DETERMINISTICOS


    No se determina un nico camino para un smbolo del lenguaje. Un AFN es un producto antes de generar el AFD.

    inicio 1 a 2 a 3 2

    REPRESENTACIONES

    Un AF sea determinantico o no deterministico se puede representar formalmente utilizando expresiones regulares. O una ER se puede expresar grficamente utilizando un AF.
    EJEMPLO: A partir de la siguientes expresiones regulares construir el autmata finito que lo represente.
    L (L|D) (a* 1 b*)c*

    REPRESENTACIONES

    A partir del siguiente autmata construir la expresin regular que lo represente.


    1 b 2 a

    inicio

    2
    c

    You might also like