Using Ocaml, Implementation of converting given Non Deterministic finite automata to Deterministic finite automata with functional programming (only recursions, no loops)