State-transition diagram for a Mealy machine
It does have edges &mdash; the last two lines of the table &mdash; you simply haven't drawn them. They loop back to itself, just like the 0/0 edge does on the S0 state.