1. MAQUINA DE ESTADOS FINITOS
   1. Una computadora digital puede considerarse como una maquina.
2. CADENAS DE ENTRADAS Y SALIDAS PARA UNA FSM
   1. Una FSM genera una cadena de salida corresponiente a una cadena de entrada.
3. AUTOMATAS DE ESTADOS FINITOS
   1. No produce una salida y tiene pocos estados de aceptacion o estados finales.
4. LENGUAJE ACEPTADO POR UN FSA
   1. Si el ultimo estado es un estado de aceptacion del automata se dice que la cadena sera aceptada.
5. FSA DETERMINISTICO Y NO DETERMINISTICO
   1. Si en un automata de estados finitos, la funcion de transicion asigna un estado a cada par de estados entonces el FSA se llama DFA.
6. LENGUAJE ACEPTADO POR UN NFA
   1. Una cadena no nula se dice que sera aceptada por un NFA si existe al menos una trayectoria que represente a la cadena nula, en el diagrama de estados empezando en el estado inicial y terminando en el estado de aceptacion.
7. CONVERSION DE UN NFA EN UN DFA EQUIVALENTE
   1. El NFA es M = {S, I, f, qo, A} y sea M' el DFA equivalente que se requiere cada estado de M' sera subconjunto de S.