MyLex implement RE to NFA to DFA to MinimizedDFA, Then it can read a procedure ,then give you the tokens by my RE