Ties between Parametrically Polymorphic Type Systems and Finite Control Automata