DEFINICIN DE DFA Un DFA (por las siglas del concepto de Autmata Finito Determinstico, en ingls) M, se compone de un alfabeto , un conjunto

de estados S, una funcin de transicin T : S x S , un estado de inicio s0 S, y un conjunto de estados de aceptacin A S . El lenguaje aceptado por M , escrito como L(M) , se define como el conjunto de cadenas de caracteres c1c2...cn con cada ci , tal que existen estados s1=T(s0,c1) , s2=T(s1,c2), ... , sn=T(sn-1,cn), con sn como un elemento de A (es decir, un estado de aceptacin). DEFINICIN DE NFA Un NFA ( por las siglas del trmino Autmata Finito no Determinstico, en ingls), M consta de un alfabeto , un conjunto de estados S , y una funcin de transicin T : S x S {}()