Existen dos tipos de máquinas de estados, una las de "Mealy", que son muy generales y su salida depende del estado actual y las entradas, y la otra las de "Moore", que son un subconjunto de las anteriores, ya que la salida sólo depende del estado actual.