Mealy and Moore state machines are most famous.
They can be encoded in 1 combinational process and 1 sequential process, or 2 sequential processes and 1 combinational process.
--
Amr
There is a book called Verilog Synthesis Primer by Bahaskar, it explains state machines in Verilog and how they can be implemented withe examples and comparisons.
--
Amr