automatas programa de automatas cantidad de automatas (2^n)(n^(2n)) long_max = 2*(n-1) automatas por estado estados ^ (pulsos * estados)