Finite automatons.