Does a constructivist model allow for infinite tapes?