23 Autématas Finitos No Deterministas SCEea Renee tty 2.3.5 Creacién de un AFN a partir de una expresion regular * Expresion regular f. + Expresién regular a: * Expresion regular rs: Procesadores de lenguaie 23 Automatas Finitos No Deterministas * Expresién regular r* rocesadores de lenguiaje23 Autématas Finitos No Deterministas Peretti 2.3.5 Creacin de un ABN a partir de una expresi regular + Propiedades ~ ELAFN tiene como maximo el doble de estados que el mimero de simbols y operadores de la expresion regular ~ ELAFN tiene un estado inital y un estado final = Cada estado tene tan slo una transcién con an simboto del alfabeto,o dos transiciones i. Procesadores de lenguaie 2a Automatas Finitos Deterministas SEEPS cy 2.4.1 Definicion de AFD + Quintupla: (5B, qo F) = Q Conjunto finite de estados Alfabeto de simbolos E: Conjunto de arcos (Q » 2 * Q) que representan transiciones entre estados ante un determinado simbolo 4x Estado inicial (q) < Q) F: Conjunto de estados finales (F< Q) ~ Nose admiten transiciones Conclicién de determinismor no existen transiciones que partan del mismo estado con el mismo simbolo de lenguaie24 Automatas Finitos Seen tty eee 2.4.1 Definicién de AED + Ejemplo: * Ejemplo: 2 @ ® + Ejemplo: © Procesadores de lenguaie 2a Automatas Finitos Deterministas SEEPS cy 2.4.2 Funcionamiento de un AFD + Camino: lista de estados en la que a partir de cada estado se puede Ilegar al siguiente por medio de una transicién del automata. + Cadena aceptada x: si existe un camino que parta de qy acepte la entrada x y termine en un estado final. + Lenguaje reconocido por el autémata: conjunto de cadenas aceptadas + En.un AFD sélo existe un camino posible, es decir, dada una cadena, s6lo es posible llegar a un estado a partir del estado inicial rocesadores de lenguiaje24 Automatas Finitos Deterministas Peretti 2.4.3 Creacién de un AFD a partir de un AFN + Los AFD tienen la misma capacidad expresiva que los AFN, cs decir, dado un AFN existe un AFD capaz de reconacer el mismo lenguaje * Cada macroestado del AFN corresponde a un estado del AFD * Potencialmente, para un AFN de N estados existen 2" macroestados posibles, aunque la inmensa mayoria son estados inalcanzables Procesadores de lenguaie 2a Automatas Finitos Deterministas SEEPS cy 2.4.3 Creacién de un AFD a partir de un AFN * Algoritmo para construir un AFD a partir de un AEN: Generar el estado inicial del AFD como el macroestado inicial del AEN e incluirlo en una lista de estados por analizar — Analizar el primer estado de la lista por analizar: + Extrer. primer estado del lista # introduce en la sta de eslados analizados ‘+ Estudiar las ansiciones del estado para cada simbolo del alfabeto + Siel macroestade correspondiente a una transciin no ha aparecide con anterioridad, crear un nsevo estado del AFD corzespondientea dicho ‘macroestadoe incluleo en la lista de estades por aallzar — Repetir el paso anterior hasta que no queden estados por analizar ~ Los estados finales del AED son aquellos que correspondan a macroestados que contengan algan estado final del AEN de lenguaie2a Automatas Finitos Deterministas Seen tty 2.4.3 Creacién de un AFD a partir de un AFN * Resultado Procesadores de lenguaie 2a Automatas Finitos Deterministas SEEPS cy 2.4.4 Creacién de un AFD a partir de una expresin regi © 1 opeien: ~ Generar un AFN a partir de a expresién regular — Generar el AFD a parti del AFN’ + 2° opcién: ~ Generar el AFD directamente a partir de la expresién regular rocesadores de lenguiaje24 Automatas Finitos Deterministas Seen tty 2.4.4 Creacin de un AFD a partir de una expresin regular * Caracteristicas del algoritmo: Se introduce un punto en la expresién regular para indicar la pparte reconacida en cacla momento ~ Unestado del autémata esta asaciado a un conjunta de cexpresiones regulares con puntos El estado inicial se obtiene colocando el punto al comienzo de la cexpresion regular ~ Las transiciones de cada estado corresponden al consumo de algtin simbolo, y dan lugar al desplazamiento dl punto en la cexpresion regular Procesadores de lenguaie 2a Automatas Finitos Deterministas SEEPS cy 2.4.4 Creacién de un AFD a partir de una expresin regular + Bjemplo: [2-2][0-9] = Estados: [a-zIl0SI}, (f-2]10-9] tka-z]l091} ~ Autimata rocesadores de lenguiaje24 Automatas Finitos Deterministas SCEea Renee tty 2.4.4 Creacin de un AFD a partir de una expresin regular # Ejemplo: ({a-z})*[0-9] Estados: {(L-2))1091 daz)"10-9 |, ( (fez) "109 — Autémata ez] \ ws ok 5 {lebri031)) (canon —_- \lezpt 0 Procesadores de lenguaie 2a Automatas Finitos Deterministas fener ty 2.4.4 Creacién de un AFD a partir de una expresién regular * Bjemplo: t(alatolre) n = Estados: { (a lalol re) | (i(alatolre)n, tal alolre}n, tala l.ree | UGalalotre).n, Yaladol rey {Halatole)n ((alatot rea. (iG@latolreyn |, {@lalolre).n | rocesadores de lenguiaje24 Automatas Finitos Deterministas Seen tty 2.4.4 Creacin de un AFD a partir de una expresin regular * Bjemplo: t(alalol re) n Autimata ee D - —*Cielaleirein) ee Gai wok MaLalolzon ) Vis \Giaoisrey Y c ins) Gato Procesadores de lenguaie 2a Automatas Finitos Deterministas SEEPS cy 2.4.4 Creacién de un AFD a partir de una expresién regular # Formalizacién: Tem no bis lems hisioos ah cay aii aD : acy cou cube re ac ihr hve eB x0 Bl ah B31 BL Be rocesadores de lenguiaje