DFA Validation & Timeout