There is no specific requirement in the NEC for the washing machine itself to have GFCI protection. Section 210.52(F) requires a receptacle outlet to be installed for the laundry area and it must be supplied by a 20-ampere branch circuit in accordance with 210.11(C)(2).