Very good points! Most people only seem to think to have a single state machine on their player character, but I find it better to have one state for movement actions and separate state machine for attack actions --for the reasons you mention. Two small state machines working in conjunction are easier to manage than one giant state machine unless the player character is very simple.