regarding FSM synthesis

[sreeni339]

Hi,
can someone tell me how the following FSM gets synthesized,

To detect the sequence "abca" when the inputs can be a b c d.,

regards
sreenivas