Present      Next State        Output
 State   sig_in='0' sig_in='1'
   a          a          d        1
   b          b          c        0
   c          d          a        1
   d          e          b        0
   e          b          c        0

This is a Moore machine, because the output
depends only on the state.