Abasolo

Solo disponible en BuenasTareas
  • Páginas : 2 (349 palabras )
  • Descarga(s) : 7
  • Publicado : 8 de febrero de 2010
Leer documento completo
Vista previa del texto
UNIDAD 3. ANALISIS LEXICO.
3.1 Introducción a los Autómatas Finitos y Expresiones regulares.
El analizador léxico es un autómata finito determinista que reconoce el lenguaje generado por lasexpresiones regulares correspondientes a las unidades sintácticas del lenguaje.
Los diagramas de transición son una instrumentación de un modelo formal denominado autómatas finitos, conocidos tambiéncomo máquinas de estado finito o (con menos frecuencia en la actualidad) máquinas secuenciales.
Los autómatas finitos vienen en diferentes tipos:
*No determinísticos (AFN, por sus siglas eninglé*s): es un modelo matemático formado por:
Un conjunto de estados S.
Un conjunto de símbolos de entrada ∑ (el alfabeto de símbolos de entrada).
Ejemplo:
Elconjunto de estados del AFN es {0,1,2,3}.
Alfabeto de símbolos de entrada {a,b}.
El estado 0, se considera el estado de inicio.
El estado de aceptación 3 está indicado mediante un círculodoble.
Determinísticos (AFD*, por *sus siglas en inglés*)*: es un caso especial de un autómata finito no determinista en el cual:
Ningún estado tiene una transición є, es decir, unatransición con una entrada є (vacía), y
Ejemplo:
{draw:frame}
Los autómatas finitos se pueden utilizar para reconocer las expresiones regulares asociadas a los componentes léxicos.Expresiones Regulares.
Las expresiones regulares son patrones que permiten buscar coincidencias con combinaciones de caracteres dentro de cadenas de texto.
Una expresión regular es una combinaciónde caracteres normales con caracteres especiales. Por ejemplo, la expresión regular /ejemplo/, encontrará la subcadena “ejemplo” dentro de la cadena “Esto es un ejemplo”.
Con la utilización decaracteres especiales se consigue encontrar coincidencias con los retornos de carro, los tabuladores, el inicio o el final de las palabras las repeticiones de caracteres, etc.
3.2 Análisis Léxico....
tracking img