Design finite state machines. Double-click to add states, drag between states to add transitions.
Click state to select (green=current). Click two states to add transition. Right-click state to toggle output.