Established an nfa as a (int*int list*transition list) tuple and begin work on e_closure