Synopsys Interview Question

State machine using provided graph