State Diagram for Sequential Logic - Search