Teor´ıa de Autómatas y Lenguajes Formales

66 CHAPTER 3.ACEPTACIÓN Y GENERACIÓN DE LENGUAJES REGULARESExpresionesRegulares❄Generador deAnalizadores LexicosTexto✲❄TablaTokens✲Analizador LexicoFigure 3.23: Construcción de analizadores léxicosPor ejemplo, el editor de texto de UNIX permite un comando como:s/ ̸ b ̸ b ̸ b ∗ / ̸ b/que sustituye por un solo blanco el primer string con dos o más blancos que se encuentre en una línea.Si T ODO denota la expresión a 1 + a 2 + . . . + a n en que los a i ’s son todos los carácteres del computador,excepto el de cambio de línea (newline), es posible convertir una expresión regular r a un AFD que acepteT ODO ∗ r. La presencia de T ODO ∗ permite reconocer un miembro de L(r) que comience en cualquier partede una línea. Sin embargo, la conversión de la expresión regular a un AFD toma, en la mayoría de los casos,mucho más tiempo que el que toma revisar una línea usando el AFD y, además, el AFD puede tener unnúmero de estados que es exponencial en la longitud de la expresión regular.Lo que realmente sucede en el editor de texto de UNIX, es que la expresión regular T ODO ∗ r es convertidaen un AFND-ε, el que es simulado directamente. A medida que se revisa la línea, una lista de estados posibles(o actuales según se mire), es mantenida, la que inicialmente es la clausura − ε del estado inicial. Si a esel próximo carácter en la línea, se crea una nueva lista de todos los estados con una transición en a desdealgunos de los estados de la lista antigua. La lista antigua se descarta y se computa la clausura vacía de lanueva. Si no hay estados finales en la lista nueva, se repite el proceso con el próximo símbolo.