State Diagram Digital Logic - Search