Automatas Finitos´
Definici´on formal de un Aut ´omata Finito Determin ´ıstico Funciones de transicion extendidas (´ ^ ) Intuitivamente, un FA acepta una cadena w = a1 2:::an si hay una ruta en el diagrama de transiciones que: 1 Empieza en el estado de inicio, 2 Termina en un estado de aceptacion, y´ 3 Tiene una secuencia de etiquetas a1;a2;:::;an. (INAOE