Regex fsm