use them!
i mean to say that you should get them connected into the state machine flow. for example, if the SM steps into one of the unwanted states, make a transition into the reset or even better a known state to signal this problem.
however, maybe..., better solution to code the states in gray - if it possible at all, - to avoid unwanted state. In this case, only valid states can occur.
if u use case statement i thik that unwanted states will never occour. then there is no question of irregularities with the output. usinf if statement or ant other statement u should use in such a way that undefined states will never occour. u dont have to worry abt them.
for 5 state u have to use 3bit binary number but its combination will give u more than 5 states so one way is to assign all unused states to some value,
or
give a defalt state.ie when the process goes from state s0-->s5 after s5 assign a state to which it has to return
In theory these states must not happen but in practice your system will experience some of them due to practical problem like glitchs, signal race,...In each case your system must be able to go to a known state and if it is critical you must reset your system.