Not wishing to appear too nerdy but there is actualy a very real advantage in using Mealey state machines in logic design in that they are faster because the state transistion occurs in the same cycle as the inputs change,because the current state is a function of the state vector and the inputs as opposed to simply being a function of the state vector.
Its a difference which is not widely known because it makes no difference in a software implementaion.
However Moore state machines tend to be smaller, there is a proof that you can convert any Moore machine into an equivelent Meally machine using at most 2N+1 states in the worst case, I bet you always wanted to know that.