Durante la década de 1950 prolifera su estudio, frecuentemente llamándoseles "máquinas de secuencia"; se establecen muchas de sus propiedades básicas, incluyendo su interpretación como lenguajes regulares y su equivalencia con las expresiones regulares.