1. Máquinas de estados finitos
   1. Computadora digital incluye un conjunto finto de estados
      1. FSM
         1. Cadenas de entradas y salidas
         2. Autómatas de estados finitos
            1. Lenguaje aceptado por FSA
2. Lenguajes Regulares
   1. Autómatas de estado finito determinístico
      1. estados finitos, una función de transición
         1. DFA
3. Lenguajes no Regulares
   1. Autómatas de estado finito no determinístico
      1. estados finitos, una función de transición
         1. NFA