ELIMINACION DE FACTORES COMUNES IZQUIERDOS
Un automata finito o maquina de estado finito es un modelo matematico de un sistema que recibe una cadena constituida por simbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autamata reconoce.
Definicion formal Formalmente, un autoata finito (AF) puede ser descrito como una 5-tupla (S,W,T,s,A) donde: W es un alfabeto; S un conjunto de estados; T es la funcion de transicion: ; es el estado inicial; es un conjunto de estados de aceptacion o finales. Ejemplo 1 w= {0,1}, S = {S1, S2}, T = {(S1,0,{S2});(S1,1,{S1});(S2,0,{S1});(S2,1,{S2})} s = S1 A = {S1}. Formas de representar un automata finito Ademas de notar un AF a traves de su definicion formal es posible representarlo a traves de otras notaciones que resultan mas comodas.
