STATE3 Automata Condition Recognition :cupid: